edu.cs.ai.kreator.logic
Class FolImplication

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.FolImplication

public class FolImplication
extends FolBinaryJunction

Author:
Marc

Constructor Summary
FolImplication(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

FolImplication

public FolImplication(FolFormula leftFormula,
                      FolFormula rightFormula)
Method Detail

operator

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