logic
Class True

java.lang.Object
  logic.Formula
      logic.True

public class True
extends Formula

True

Represents the true clause. Typically returns the entire state space.

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

Version:

1.0

Author:

Nicolas Richard

Field Summary

static java.lang.String

TYPE Constant representing the true clause.

Fields inherited from class logic.Formula

subFormula

Constructor Summary

True()
Default constructor ... calls the base class constructor.

Method Summary

boolean	equals(java.lang.Object o) Détermine if the object provided is a true clause.
java.lang.String	getType() Returns the constant representing the true clause

Methods inherited from class logic.Formula

depth, 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 true clause. Used during formula parsing.

See Also:

LogicParser, Constant Field Values

Constructor Detail

True

public True()

Default constructor ... calls the base class constructor.

Method Detail

getType

public java.lang.String getType()

Returns the constant representing the true clause

Specified by:

getType in class Formula

Returns:

a string representing the true clause

equals

public boolean equals(java.lang.Object o)

Détermine if the object provided is a true clause.

Overrides:

equals in class Formula

Parameters:

o - the object to check

Returns:

wether or not this object is a true clause