lp.struct
Interface LpTerm

All Superinterfaces:

LpStructureUnit

All Known Implementing Classes:

LpCompoundTerm, LpConstant, LpRule, LpVariable

public interface LpTerm
extends LpStructureUnit

Represents a term in logic programming. A term is either a constant, a variable or a compound term that consists o a function symbol and its arguments—terms. Terms represent inviduals that can be put into relationships using predicate symbols.

Version:

1.0.0

Author:

Martin Slota

See Also:

LpConstant, LpVariable, LpCompoundTerm, LpRule, LpLiteral

Method Summary

boolean	equals(Object obj) Returns true if and only if obj is a term of the same structure.
int	hashCode() Overriden in order to maintain the general contract of Object.hashCode().

Methods inherited from interface lp.struct.LpStructureUnit

accept

Method Detail

equals

boolean equals(Object obj)

Returns true if and only if obj is a term of the same structure.

Overrides:

equals in class Object

Parameters:

obj - the object to compare with

Returns:

true if this object is equal to obj according to the description above, and false otherwise

See Also:

LpConstant.equals(Object), LpVariable.equals(Object), LpCompoundTerm.equals(Object)

hashCode

int hashCode()

Overriden in order to maintain the general contract of Object.hashCode().

Overrides:

hashCode in class Object

Returns:

the hash of this object

See Also:

LpConstant.hashCode(), LpVariable.hashCode(), LpCompoundTerm.hashCode()