formula
Class Conjunction

java.lang.Object
  formula.Conjunction

All Implemented Interfaces:

Formula

public class Conjunction
extends java.lang.Object
implements Formula

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

Constructor Summary

Conjunction(Formula _left, Formula _right)
Constructs the conjunction 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

Conjunction

public Conjunction(Formula _left,
                   Formula _right)

Constructs the conjunction of two subformulas.

Parameters:

_left - The first subformula.

_right - The second subformula.