org.semanticweb.glp
Class GLPUnaryOperator

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

Direct Known Subclasses:

GLPNot

public abstract class GLPUnaryOperator

extends GLogicFormula

Constructor Summary

GLPUnaryOperator(GLogicFormula f)

Method Summary

void	freeBoundVariables(java.util.HashSet free, java.util.HashSet bound) Description of the Method
GLogicFormula	getFormula()
void	renameVariables(java.util.HashMap h)
java.lang.String	toString(java.lang.String operator, GLogicFormula f)

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

GLPUnaryOperator

public GLPUnaryOperator(GLogicFormula f)

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

toString

public java.lang.String toString(java.lang.String operator,
                                 GLogicFormula f)

getFormula

public GLogicFormula getFormula()

renameVariables

public void renameVariables(java.util.HashMap h)

Specified by:

renameVariables in class GLogicFormula