org.semanticweb.glp
Class GLogicFormula

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

Direct Known Subclasses:

GLPAtom, GLPBinaryOperator, GLPQuantifiedFormula, GLPUnaryOperator

public abstract class GLogicFormula

extends GLPExpression

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

Version:

1.0

Author:

Stefan Decker

Constructor Summary

GLogicFormula()
Constructor for the GLogicFormula object

Method Summary

abstract GLogicFormula	copyFormula(java.util.HashMap h) Description of the Method
abstract void	freeBoundVariables(java.util.HashSet free, java.util.HashSet bound) Description of the Method
java.util.ArrayList	getVariables()
abstract void	renameVariables(java.util.HashMap h)

Methods inherited from class java.lang.Object

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

Constructor Detail

GLogicFormula

public GLogicFormula()

Constructor for the GLogicFormula object

Method Detail

copyFormula

public abstract GLogicFormula copyFormula(java.util.HashMap h)

Description of the Method

Parameters:

h - Description of the Parameter

Returns:

Description of the Return Value

renameVariables

public abstract void renameVariables(java.util.HashMap h)

Specified by:

renameVariables in class GLPExpression

freeBoundVariables

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

Description of the Method

Parameters:

free - Description of the Parameter

bound - Description of the Parameter

getVariables

public java.util.ArrayList getVariables()