previous up next
Go backward to Terms
Go up to Top
Go forward to Variables and Assignments
RISC-Linz logo

Operational Interpretation

public interface Term
  Value eval() throws EvalException;

Term term = ...;
Value meaning = term.eval();

Evaluation of a term returns a domain value (normally).

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next