LiteralParam (jaicore-logic 0.2.5 API)

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

Field Summary

Fields
Modifier and Type Field Description

protected Type type

Constructor Summary

Constructors
Modifier Constructor Description

protected LiteralParam(java.lang.String name)

protected 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)`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - type
```
protected Type type
```
- Constructor Detail
  - LiteralParam
```
protected LiteralParam(java.lang.String name)
```
    Parameters:
    
    name - The name of this parameter;
  - LiteralParam
```
protected LiteralParam(java.lang.String name,
                       Type type)
```
    Parameters:
    
    name - The name of this parameter;
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.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 class java.lang.Object
  - getName
```
public java.lang.String getName()
```
  - getType
```
public Type getType()
```
  - setType
```
public void setType(Type type)
```