org.semanticweb.glp
Class GLPTermDouble

java.lang.Object
  org.semanticweb.glp.GLPExpression
      org.semanticweb.glp.GLPTerm
          org.semanticweb.glp.GLPTermDouble

public class GLPTermDouble

extends GLPTerm

Title: Triple Description: RDF Query and Inference Language Copyright: Copyright (c) 2001 Company: Stanford University

Version:

1.0

Author:

Stefan Decker

Constructor Summary

GLPTermDouble(java.lang.Double d)
Constructor for the GLPTermDouble object

Method Summary

GLPTerm	copyTerm() Description of the Method
GLPTerm	copyTerm(java.util.HashMap h) Description of the Method
void	freeBoundVariables(java.util.HashSet free, java.util.HashSet bound) Description of the Method
void	renameVariables(java.util.HashMap h) Description of the Method
Term	toLPTerm() Description of the Method
java.lang.String	toString() Description of the Method

Methods inherited from class java.lang.Object

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

Constructor Detail

GLPTermDouble

public GLPTermDouble(java.lang.Double d)

Constructor for the GLPTermDouble object

Method Detail

copyTerm

public GLPTerm copyTerm()

Description of the Method

Specified by:

copyTerm in class GLPTerm

Returns:

Description of the Return Value

toLPTerm

public Term toLPTerm()

Description of the Method

Specified by:

toLPTerm in class GLPTerm

Returns:

Description of the Return Value

renameVariables

public void renameVariables(java.util.HashMap h)

Description of the Method

Specified by:

renameVariables in class GLPExpression

Parameters:

h - Description of the Parameter

copyTerm

public GLPTerm copyTerm(java.util.HashMap h)

Description of the Method

Specified by:

copyTerm in class GLPTerm

Parameters:

h - Description of the Parameter

Returns:

Description of the Return Value

freeBoundVariables

public void freeBoundVariables(java.util.HashSet free,
                               java.util.HashSet bound)

Description of the Method

Specified by:

freeBoundVariables in class GLPTerm

Parameters:

free - Description of the Parameter

bound - Description of the Parameter

toString

public java.lang.String toString()

Description of the Method

Returns:

Description of the Return Value