org.semanticweb.triple.language
Class QuantifierFormula

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Formula
          org.semanticweb.triple.language.QuantifierFormula

Direct Known Subclasses:

ExistsFormula, ForallFormula

public abstract class QuantifierFormula

extends Formula

Version:

Author:

Michael Sintek

Constructor Summary

QuantifierFormula()

Method Summary

Formula	getFormula()
java.util.ArrayList	getVariables()
void	putFormula(Formula formula)
void	putVariables(Term variable)
java.lang.String	toString(java.lang.String quantifier, Syntax syntax)

Methods inherited from class org.semanticweb.triple.language.Formula

toGLP

Methods inherited from class org.semanticweb.triple.language.TripleExpression

appendModel, appendModel, getModel, putModel, toPrologString, toString, toString, toTripleString

Methods inherited from class java.lang.Object

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

Constructor Detail

QuantifierFormula

public QuantifierFormula()

Method Detail

putFormula

public void putFormula(Formula formula)

putVariables

public void putVariables(Term variable)

getFormula

public Formula getFormula()

getVariables

public java.util.ArrayList getVariables()

toString

public java.lang.String toString(java.lang.String quantifier,
                                 Syntax syntax)