edu.cs.ai.kreator.logic
Class FolDisjunction

java.lang.Object
  edu.cs.ai.kreator.logic.FolFormula
      edu.cs.ai.kreator.logic.FolBinaryJunction
          edu.cs.ai.kreator.logic.FolDisjunction

public class FolDisjunction
extends FolBinaryJunction

Author:

Marc

Constructor Summary

FolDisjunction(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

FolDisjunction

public FolDisjunction(FolFormula leftFormula,
                      FolFormula rightFormula)

Method Detail

operator

protected edu.cs.ai.kreator.logic.FolFormula.Operator operator()

Specified by:

operator in class FolFormula