edu.cs.ai.kreator.logic
Class FolConjunction

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

public class FolConjunction
extends FolBinaryJunction

Author:
Marc

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

FolConjunction

public FolConjunction(FolFormula leftFormula,
                      FolFormula rightFormula)
Method Detail

operator

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