org.semanticweb.triple.language
Class Not

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Formula
          org.semanticweb.triple.language.UnaryFormula
              org.semanticweb.triple.language.Negation
                  org.semanticweb.triple.language.Not

public class Not

extends Negation

Constructor Summary

Not()

Method Summary

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

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

getFormula, putFormula

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

Not

public Not()

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