Package tools.refinery.logic.term.bool

Class BoolBinaryTerm

java.lang.Object

tools.refinery.logic.term.AbstractTerm<Boolean>

tools.refinery.logic.term.BinaryTerm<Boolean,Boolean,Boolean>

tools.refinery.logic.term.bool.BoolBinaryTerm

All Implemented Interfaces:

AnyTerm, Term<Boolean>

Direct Known Subclasses:

BoolAndTerm, BoolOrTerm, BoolXorTerm

public abstract class BoolBinaryTerm
extends BinaryTerm<Boolean,Boolean,Boolean>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BoolBinaryTerm(Term<Boolean> left, Term<Boolean> right)

Method Summary

Methods inherited from class tools.refinery.logic.term.BinaryTerm

constructWithSubTerms, doEvaluate, equalsWithSubstitution, evaluate, getInputVariables, getLeft, getLeftType, getPrivateVariables, getRight, getRightType, getVariables, hashCodeWithSubstitution, reduce, rewriteSubTerms, substitute, withSubTerms

Methods inherited from class tools.refinery.logic.term.AbstractTerm

equals, getType, hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.term.AnyTerm

asType

Constructor Details

BoolBinaryTerm

protected BoolBinaryTerm(Term<Boolean> left,
 Term<Boolean> right)