previous up next
Go backward to Conjunctions
Go up to Top
Go forward to Conjunctive Laws
RISC-Linz logo

Operational Interpretation

public final class And implements Formula
{
  private Formula formula0; private Formula formula1;

  public boolean eval() throws EvalException
  {
    if (formula0.eval())
      if (formula1.eval())
        return true;
      else
        return false;
    else 
      return false;
  }
}

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next