edu.cs.ai.kreator.logic
Class FolAtom

java.lang.Object
  extended by edu.cs.ai.kreator.logic.FolFormula
      extended by edu.cs.ai.kreator.logic.FolAtom

public class FolAtom
extends FolFormula

Author:
Marc

Constructor Summary
FolAtom(GeneralizedAtom generalizedAtom)
           
 
Method Summary
 GeneralizedAtom getWrappedGeneralizedAtom()
           
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

FolAtom

public FolAtom(GeneralizedAtom generalizedAtom)
Method Detail

getWrappedGeneralizedAtom

public GeneralizedAtom getWrappedGeneralizedAtom()

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