org.semanticweb.triple.language
Class ForallFormula

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

public class ForallFormula

extends QuantifierFormula

Version:

Author:

Michael Sintek

Constructor Summary

ForallFormula()

Method Summary

GLogicFormula	toGLP(GLPTerm model)
java.lang.String	toString(Syntax syntax)

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

getFormula, getVariables, putFormula, putVariables, toString

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ForallFormula

public ForallFormula()

Method Detail

toString

public java.lang.String toString(Syntax syntax)

Specified by:

toString in class TripleExpression

toGLP

public GLogicFormula toGLP(GLPTerm model)

Specified by:

toGLP in class Formula