- All Implemented Interfaces:
Serializable
, Term
public abstract class Constant
extends Object
implements Term
A constant value in the formula.
- See Also:
-
-
Constructor Summary
Constructors
-
Method Summary
Returns the set of variables used in this term.
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
Constant
public Constant()
-
Method Details
-
variables
Description copied from interface: Term
Returns the set of variables used in this term.
- Specified by:
variables
in interface Term
- Returns:
- the set of variables used in this term.