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 boolean
equals(java.lang.Object obj)
It is with intention that the equals method does NOT check the type.Type
getType()
int
hashCode()
void
setType(Type type)
java.lang.String
toString()
-
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:
hashCode
in classLiteralParam
-
equals
public boolean equals(java.lang.Object obj)
Description copied from class:LiteralParam
It 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:
equals
in classLiteralParam
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getType
public Type getType()
- Overrides:
getType
in classLiteralParam
-
setType
public void setType(Type type)
- Overrides:
setType
in classLiteralParam
-
-