org.semanticweb.triple.language
Class Neg

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.Neg

public class Neg

extends Negation

Constructor Summary

Neg()

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

Neg

public Neg()

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