edu.cs.ai.kreator.logic
Class FolExistQuantification

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

public class FolExistQuantification
extends FolQuantification

Author:
Marc

Constructor Summary
FolExistQuantification(java.util.List<Variable> variables, FolFormula formula)
           
 
Method Summary
protected  edu.cs.ai.kreator.logic.FolFormula.Operator operator()
           
 
Methods inherited from class edu.cs.ai.kreator.logic.FolQuantification
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

FolExistQuantification

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

operator

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