|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface LpTerm
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.
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 |
---|
boolean equals(Object obj)
true
if and only if obj
is a term of the same
structure.
equals
in class Object
obj
- the object to compare with
true
if this object is equal to obj
according to
the description above, and false
otherwiseLpConstant.equals(Object)
,
LpVariable.equals(Object)
,
LpCompoundTerm.equals(Object)
int hashCode()
Object.hashCode()
.
hashCode
in class Object
LpConstant.hashCode()
,
LpVariable.hashCode()
,
LpCompoundTerm.hashCode()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |