ai.libs.jaicore.logic.fol.structure

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

Constructor Summary

Constructors

Constructor and Description
VariableParam(java.lang.String name)
VariableParam(java.lang.String name, Type type)
VariableParam(VariableParam toBeCopied)

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.
Type	getType()
void	setType(Type type)
java.lang.String	toString()

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

getName, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

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

getType

public Type getType()

Overrides:

getType in class LiteralParam

setType

public void setType(Type type)

Overrides:

setType in class LiteralParam