edu.cs.ai.kreator.logic
Class FolAllQuantification

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

public class FolAllQuantification
extends FolQuantification

Author:

Marc

Constructor Summary

FolAllQuantification(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

FolAllQuantification

public FolAllQuantification(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