Class LiteralParam
- java.lang.Object
-
- ai.libs.jaicore.logic.fol.structure.LiteralParam
-
- All Implemented Interfaces:
java.io.Serializable
- Direct Known Subclasses:
ConstantParam
,VariableParam
public abstract class LiteralParam extends java.lang.Object implements java.io.Serializable
The parameter of a literal.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description LiteralParam(java.lang.String name)
LiteralParam(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.java.lang.String
getName()
Type
getType()
int
hashCode()
void
setType(Type type)
-
-
-
Field Detail
-
type
protected Type type
-
-
Constructor Detail
-
LiteralParam
public LiteralParam(java.lang.String name)
- Parameters:
name
- The name of this parameter;
-
LiteralParam
public LiteralParam(java.lang.String name, Type type)
- Parameters:
name
- The name of this parameter;
-
-
Method Detail
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
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 classjava.lang.Object
-
getName
public java.lang.String getName()
-
getType
public Type getType()
-
setType
public void setType(Type type)
-
-