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