edu.cs.ai.kreator.logic
Class FolQuantification

java.lang.Object
  extended by edu.cs.ai.kreator.logic.FolFormula
      extended by edu.cs.ai.kreator.logic.FolQuantification
Direct Known Subclasses:
FolAllQuantification, FolExistQuantification

public abstract class FolQuantification
extends FolFormula

Author:
Marc

Constructor Summary
FolQuantification(java.util.List<Variable> variables, FolFormula formula)
           
 
Method Summary
protected abstract  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

FolQuantification

public FolQuantification(java.util.List<Variable> variables,
                         FolFormula formula)
Method Detail

toString

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

operator

protected abstract edu.cs.ai.kreator.logic.FolFormula.Operator operator()
Specified by:
operator in class FolFormula