edu.cs.ai.kreator.logic
Class FolNegation

java.lang.Object
  edu.cs.ai.kreator.logic.FolFormula
      edu.cs.ai.kreator.logic.FolNegation

public class FolNegation
extends FolFormula

Author:

Marc

Constructor Summary

FolNegation(FolFormula formula)

Method Summary

FolFormula	getFormula()
protected edu.cs.ai.kreator.logic.FolFormula.Operator	operator()
java.lang.String	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

FolNegation

public FolNegation(FolFormula formula)

Method Detail

getFormula

public FolFormula getFormula()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

operator

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

Specified by:

operator in class FolFormula