formula
Class Disjunction

java.lang.Object
  formula.Disjunction

All Implemented Interfaces:

Formula

public class Disjunction
extends java.lang.Object
implements Formula

The disjunction ("and") of two subformulas. A disjunction is true if either or both subformulas are true, and false if both subformulas are false.

Constructor Summary

Disjunction(Formula _left, Formula _right)
Constructs the disjunction of two subformulas.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Disjunction

public Disjunction(Formula _left,
                   Formula _right)

Constructs the disjunction of two subformulas.

Parameters:

_left - The first subformula.

_right - The second subformula.