org.semanticweb.triple.language
Class DoubleTerm

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

public class DoubleTerm

extends Term

Constructor Summary

DoubleTerm()

DoubleTerm(double value)

Method Summary

double	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

DoubleTerm

public DoubleTerm()

DoubleTerm

public DoubleTerm(double value)

Method Detail

getValue

public double 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