edu.cs.ai.kreator.logic
Class FolFormula

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

Direct Known Subclasses:

FolAtom, FolBinaryJunction, FolNegation, FolQuantification

public abstract class FolFormula
extends java.lang.Object

Author:

Marc

Constructor Summary

FolFormula()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FolFormula

public FolFormula()

Method Detail

getPrecedence

protected int getPrecedence()

operator

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