Go backward to Preliminaries Go up to Top Go forward to Equivalence of Formulas |
public interface Formula { boolean eval() throws EvalException; } Formula formula = ...; boolean meaning = formula.eval();
Evaluation of a formula returns a truth value (normally).