logic
Class LogicalNot

java.lang.Object
  logic.Formula
      logic.LogicalNot

public class LogicalNot
extends Formula

Logical Not

Represents the logical operator NOT. Typically returns the negation of a following expressions result.

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Nicolas Richard

Field Summary

static java.lang.String

TYPE Constant representing the logical operator NOT

Fields inherited from class logic.Formula

subFormula

Constructor Summary

LogicalNot(Formula subFormula)
Base constructor using the base class constructor.

Method Summary

java.lang.String

getType() Returns the type of the logical operator NOT.

Methods inherited from class logic.Formula

depth, equals, getSubFormula, setSubFormula, toString

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final java.lang.String TYPE

Constant representing the logical operator NOT

Constructor Detail

LogicalNot

public LogicalNot(Formula subFormula)

Base constructor using the base class constructor.

Parameters:

subFormula - the formula to negate

Method Detail

getType

public java.lang.String getType()

Returns the type of the logical operator NOT.

Specified by:

getType in class Formula

Returns:

a string representing the logical operator NOT.