org.semanticweb.glp
Class GLPBinaryOperator

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

Direct Known Subclasses:

GLPAnd, GLPEquiv, GLPImpliedBy, GLPImplies, GLPOr

public abstract class GLPBinaryOperator

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

GLPBinaryOperator(GLogicFormula l, GLogicFormula r)

Method Summary

void	freeBoundVariables(java.util.HashSet free, java.util.HashSet bound) Description of the Method
GLogicFormula	getLeft()
GLogicFormula	getRight()
void	renameVariables(java.util.HashMap h)
java.lang.String	toString(GLogicFormula l, java.lang.String Op, GLogicFormula r)

Methods inherited from class org.semanticweb.glp.GLogicFormula

copyFormula, getVariables

Methods inherited from class java.lang.Object

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

Constructor Detail

GLPBinaryOperator

public GLPBinaryOperator(GLogicFormula l,
                         GLogicFormula r)

Method Detail

renameVariables

public void renameVariables(java.util.HashMap h)

Specified by:

renameVariables in class GLogicFormula

freeBoundVariables

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

Description copied from class: GLogicFormula

Description of the Method

Specified by:

freeBoundVariables in class GLogicFormula

Parameters:

free - Description of the Parameter

bound - Description of the Parameter

getLeft

public GLogicFormula getLeft()

getRight

public GLogicFormula getRight()

toString

public java.lang.String toString(GLogicFormula l,
                                 java.lang.String Op,
                                 GLogicFormula r)