Package edu.tufts.hrilab.fol
Class Variable
java.lang.Object
edu.tufts.hrilab.fol.Symbol
edu.tufts.hrilab.fol.Variable
- All Implemented Interfaces:
Serializable
,Cloneable
Representation of variable logical form.
- See Also:
-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class edu.tufts.hrilab.fol.Symbol
getName, getType, hasArgs, hasType, isConstant, isPredicate, isTerm, setName, toString, toUnnegatedForm, toUntypedString
-
Constructor Details
-
Variable
-
Variable
-
Variable
-
Variable
Deprecated.
-
-
Method Details
-
setType
Deprecated. -
getValue
-
isVariable
public boolean isVariable()- Overrides:
isVariable
in classSymbol
-
equalsIgnoreType
Compare without checking semantic type information.- Overrides:
equalsIgnoreType
in classSymbol
- Parameters:
o
-- Returns:
-
equals
-
hashCode
public int hashCode() -
clone
-