org.semanticweb.glp
Class GLPNot

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

public class GLPNot

extends GLPUnaryOperator

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

Version:

1.0

Author:

Stefan Decker

Constructor Summary

GLPNot(GLogicFormula f)
Constructor for the GLPNot object

Method Summary

GLogicFormula	copyFormula(java.util.HashMap h) Description of the Method
boolean	isLiteral() Gets the literal attribute of the GLPNot object
Literal	toLPLiteral() Description of the Method
java.lang.String	toString() Description of the Method

Methods inherited from class org.semanticweb.glp.GLPUnaryOperator

freeBoundVariables, getFormula, 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

GLPNot

public GLPNot(GLogicFormula f)

Constructor for the GLPNot object

Parameters:

f - Description of the Parameter

Method Detail

isLiteral

public boolean isLiteral()

Gets the literal attribute of the GLPNot object

Returns:

The literal value

toLPLiteral

public Literal toLPLiteral()

Description of the Method

Returns:

Description of the Return Value

toString

public java.lang.String toString()

Description of the Method

Returns:

Description of the Return Value

copyFormula

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

Description of the Method

Specified by:

copyFormula in class GLogicFormula

Parameters:

h - Description of the Parameter

Returns:

Description of the Return Value