previous up next
Go backward to Preliminaries
Go up to Top
Go forward to Equivalence of Formulas
RISC-Linz logo

Operational Interpretation

  public interface Formula
    boolean eval() throws EvalException;

  Formula formula = ...;
  boolean meaning = formula.eval();

Evaluation of a formula returns a truth value (normally).

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next