ai.libs.jaicore.logic.fol.structure

Class ConstantParam

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 and Description
ConstantParam(java.lang.String name)
ConstantParam(java.lang.String name, boolean pVariablesMayBeUnifiedWithThisConstant)
ConstantParam(java.lang.String name, Type type)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) It is with intention that the equals method does NOT check the type.
java.lang.String	toString()
boolean	variablesMayBeUnifiedWithThisConstant()

Methods inherited from class ai.libs.jaicore.logic.fol.structure.LiteralParam

getName, getType, hashCode, 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

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()