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