org.semanticweb.glp
Class GLPQuantifiedFormula

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

Direct Known Subclasses:

GLPExists, GLPForall

public abstract class GLPQuantifiedFormula

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

GLPQuantifiedFormula(java.util.ArrayList v, GLogicFormula f)
Constructor for the GLPQuantifiedFormula object

Method Summary

void	freeBoundVariables(java.util.HashSet free, java.util.HashSet bound) Description of the Method
GLogicFormula	getFormula() Gets the left attribute of the GLPQuantifiedFormula object
java.util.ArrayList	getVariables() Gets the variables attribute of the GLPQuantifiedFormula object
void	renameVariables(java.util.HashMap h)
java.lang.String	toString(java.lang.String q, java.util.ArrayList v, GLogicFormula f) Description of the Method

Methods inherited from class org.semanticweb.glp.GLogicFormula

copyFormula

Methods inherited from class java.lang.Object

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

Constructor Detail

GLPQuantifiedFormula

public GLPQuantifiedFormula(java.util.ArrayList v,
                            GLogicFormula f)

Constructor for the GLPQuantifiedFormula object

Parameters:

v - Description of the Parameter

f - Description of the Parameter

Method Detail

freeBoundVariables

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

getVariables

public java.util.ArrayList getVariables()

Gets the variables attribute of the GLPQuantifiedFormula object

Overrides:

getVariables in class GLogicFormula

Returns:

The variables value

getFormula

public GLogicFormula getFormula()

Gets the left attribute of the GLPQuantifiedFormula object

Returns:

The left value

renameVariables

public void renameVariables(java.util.HashMap h)

Specified by:

renameVariables in class GLogicFormula

toString

public final java.lang.String toString(java.lang.String q,
                                       java.util.ArrayList v,
                                       GLogicFormula f)

Description of the Method

Parameters:

q - Description of the Parameter

v - Description of the Parameter

f - Description of the Parameter

Returns:

Description of the Return Value