ai.libs.jaicore.logic.fol.structure

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

Field Summary

Fields

Modifier and Type	Field and Description
protected Type	type

Constructor Summary

Constructors

Constructor and Description
LiteralParam(java.lang.String name)
LiteralParam(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	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

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