org.semanticweb.glp
Class GLPAtom

java.lang.Object
  org.semanticweb.glp.GLPExpression
      org.semanticweb.glp.GLogicFormula
          org.semanticweb.glp.GLPAtom

public class GLPAtom

extends GLogicFormula

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

Version:

1.0

Author:

Stefan Decker

Constructor Summary

GLPAtom(java.lang.String s, java.util.ArrayList a)
Constructor for the GLPAtom object

Method Summary

GLogicFormula	copyFormula(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
Literal	toLPLiteral() Description of the Method
Literal	toLPLiteral(boolean pol) Description of the Method
java.lang.String	toString() Description of the Method

Methods inherited from class org.semanticweb.glp.GLogicFormula

getVariables

Methods inherited from class java.lang.Object

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

Constructor Detail

GLPAtom

public GLPAtom(java.lang.String s,
               java.util.ArrayList a)

Constructor for the GLPAtom object

Parameters:

s - Description of the Parameter

a - Description of the Parameter

Method Detail

toLPLiteral

public Literal toLPLiteral(boolean pol)

Description of the Method

Parameters:

pol - Description of the Parameter

Returns:

Description of the Return Value

toLPLiteral

public Literal toLPLiteral()

Description of the Method

Returns:

Description of the Return Value

toString

public java.lang.String toString()

Description of the Method

Returns:

Description of the Return Value

copyFormula

public GLogicFormula copyFormula(java.util.HashMap h)

Description of the Method

Specified by:

copyFormula in class GLogicFormula

Parameters:

h - Description of the Parameter

Returns:

Description of the Return Value

renameVariables

public void renameVariables(java.util.HashMap h)

Description of the Method

Specified by:

renameVariables in class GLogicFormula

Parameters:

h - Description of the Parameter

freeBoundVariables

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

Description of the Method

Specified by:

freeBoundVariables in class GLogicFormula

Parameters:

free - Description of the Parameter

bound - Description of the Parameter