org.semanticweb.glp
Class GLPAnd

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

public class GLPAnd

extends GLPBinaryOperator

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

Version:

1.0

Author:

Stefan Decker

Constructor Summary

GLPAnd(GLogicFormula l, GLogicFormula r)
Constructor for the GLPAnd object

Method Summary

GLogicFormula	copyFormula(java.util.HashMap h) Description of the Method
java.lang.String	toString() Description of the Method

Methods inherited from class org.semanticweb.glp.GLPBinaryOperator

freeBoundVariables, getLeft, getRight, renameVariables, toString

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

GLPAnd

public GLPAnd(GLogicFormula l,
              GLogicFormula r)

Constructor for the GLPAnd object

Parameters:

l - Description of the Parameter

r - Description of the Parameter

Method Detail

copyFormula

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

Description copied from class: GLogicFormula

Description of the Method

Specified by:

copyFormula in class GLogicFormula

Parameters:

h - Description of the Parameter

Returns:

Description of the Return Value

toString

public java.lang.String toString()

Description of the Method

Returns:

Description of the Return Value