org.semanticweb.glp
Class GLPTermConstant

java.lang.Object
  extended byorg.semanticweb.glp.GLPExpression
      extended byorg.semanticweb.glp.GLPTerm
          extended byorg.semanticweb.glp.GLPTermConstant

public class GLPTermConstant
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
GLPTermConstant(java.lang.String s)
          Constructor for the GLPTermConstant 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

GLPTermConstant

public GLPTermConstant(java.lang.String s)
Constructor for the GLPTermConstant object

Parameters:
s - Description of the Parameter
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