edu.cs.ai.kreator.logic
Class FolEquivalence

java.lang.Object
  extended by edu.cs.ai.kreator.logic.FolFormula
      extended by edu.cs.ai.kreator.logic.FolBinaryJunction
          extended by edu.cs.ai.kreator.logic.FolEquivalence

public class FolEquivalence
extends FolBinaryJunction


Constructor Summary
FolEquivalence(FolFormula leftFormula, FolFormula rightFormula)
           
 
Method Summary
protected  edu.cs.ai.kreator.logic.FolFormula.Operator operator()
           
 
Methods inherited from class edu.cs.ai.kreator.logic.FolBinaryJunction
getLeftFormula, getRightFormula, toString
 
Methods inherited from class edu.cs.ai.kreator.logic.FolFormula
getPrecedence
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FolEquivalence

public FolEquivalence(FolFormula leftFormula,
                      FolFormula rightFormula)
Method Detail

operator

protected edu.cs.ai.kreator.logic.FolFormula.Operator operator()
Specified by:
operator in class FolFormula