ConstantParam (jaicore-logic 0.2.5 API)

java.lang.Object
- ai.libs.jaicore.logic.fol.structure.LiteralParam
- - ai.libs.jaicore.logic.fol.structure.ConstantParam

All Implemented Interfaces:

java.io.Serializable
```
public class ConstantParam
extends LiteralParam
```
The constant 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
`ConstantParam(java.lang.String name)`
`ConstantParam(java.lang.String name, boolean pVariablesMayBeUnifiedWithThisConstant)`
`ConstantParam(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.
`int`	`hashCode()`
`java.lang.String`	`toString()`
`boolean`	`variablesMayBeUnifiedWithThisConstant()`

Methods inherited from class ai.libs.jaicore.logic.fol.structure.LiteralParam
getName, getType, setType

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

- Constructor Detail
  - ConstantParam
```
public ConstantParam(java.lang.String name,
                     boolean pVariablesMayBeUnifiedWithThisConstant)
```
  - ConstantParam
```
public ConstantParam(java.lang.String name)
```
  - ConstantParam
```
public ConstantParam(java.lang.String name,
                     Type type)
```
- Method Detail
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class LiteralParam
  - 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 class LiteralParam
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - variablesMayBeUnifiedWithThisConstant
```
public boolean variablesMayBeUnifiedWithThisConstant()
```