org.semanticweb.triple.language
Class IntegerTerm

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Term
          org.semanticweb.triple.language.IntegerTerm

public class IntegerTerm

extends Term

Constructor Summary

IntegerTerm()

IntegerTerm(int value)

Method Summary

int	getValue()
GLPTerm	toGLP(GLPTerm glpModel, java.util.ArrayList glpFormulae)
java.lang.String	toString(Syntax syntax)

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

IntegerTerm

public IntegerTerm()

IntegerTerm

public IntegerTerm(int value)

Method Detail

getValue

public int getValue()

toString

public java.lang.String toString(Syntax syntax)

Specified by:

toString in class TripleExpression

toGLP

public GLPTerm toGLP(GLPTerm glpModel,
                     java.util.ArrayList glpFormulae)

Specified by:

toGLP in class Term