|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.grack.prologmachine.Clause
Constructor Summary | |
Clause(Predicate head,
BuiltInPredicate tail)
|
|
Clause(Predicate head,
Predicate tail)
|
Method Summary | |
java.lang.String |
getName()
|
boolean |
isBuiltIn()
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public Clause(Predicate head, Predicate tail)
public Clause(Predicate head, BuiltInPredicate tail)
Method Detail |
public boolean isBuiltIn()
public java.lang.String getName()
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |