Class VariableParam
- java.lang.Object
-
- ai.libs.jaicore.logic.fol.structure.LiteralParam
-
- ai.libs.jaicore.logic.fol.structure.VariableParam
-
- All Implemented Interfaces:
java.io.Serializable
public class VariableParam extends LiteralParam
A variable parameter of a literal.- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class ai.libs.jaicore.logic.fol.structure.LiteralParam
type
-
-
Constructor Summary
Constructors Constructor Description VariableParam(VariableParam toBeCopied)VariableParam(java.lang.String name)VariableParam(java.lang.String name, Type type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object obj)It is with intention that the equals method does NOT check the type.TypegetType()inthashCode()voidsetType(Type type)java.lang.StringtoString()-
Methods inherited from class ai.libs.jaicore.logic.fol.structure.LiteralParam
getName
-
-
-
-
Constructor Detail
-
VariableParam
public VariableParam(java.lang.String name, Type type)
-
VariableParam
public VariableParam(java.lang.String name)
-
VariableParam
public VariableParam(VariableParam toBeCopied)
-
-
Method Detail
-
hashCode
public int hashCode()
- Overrides:
hashCodein classLiteralParam
-
equals
public boolean equals(java.lang.Object obj)
Description copied from class:LiteralParamIt is with intention that the equals method does NOT check the type. We assume that the name of a parameter is sufficient to identify it. The type is rather optional to enable efficient processing in some contexts.- Overrides:
equalsin classLiteralParam
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
getType
public Type getType()
- Overrides:
getTypein classLiteralParam
-
setType
public void setType(Type type)
- Overrides:
setTypein classLiteralParam
-
-