edu.cs.ai.kreator.logic
Class FolBinaryJunction

java.lang.Object
  extended by edu.cs.ai.kreator.logic.FolFormula
      extended by edu.cs.ai.kreator.logic.FolBinaryJunction
Direct Known Subclasses:
FolConjunction, FolDisjunction, FolEquivalence, FolImplication

public abstract class FolBinaryJunction
extends FolFormula

Author:
Marc

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

Constructor Detail

FolBinaryJunction

public FolBinaryJunction(FolFormula leftFormula,
                         FolFormula rightFormula)
Method Detail

getLeftFormula

public FolFormula getLeftFormula()

getRightFormula

public FolFormula getRightFormula()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object