|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.ClauseStore
A list of clauses belonging to the same family as a goal. A family is composed by clauses with the same functor and arity.
Method Summary | |
static ClauseStore |
build(Term goal,
java.util.List vars,
java.util.List familyClauses)
Carica una famiglia di clausole |
protected boolean |
existCompatibleClause()
Verify if there is a term in compatibleGoals compatible with goal. |
ClauseInfo |
fetch()
Restituisce la clausola da caricare |
java.util.List |
getClauses()
|
Term |
getMatchGoal()
|
java.util.List |
getVarsForMatch()
|
boolean |
haveAlternatives()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
public static ClauseStore build(Term goal, java.util.List vars, java.util.List familyClauses)
familyClauses
- public ClauseInfo fetch()
public boolean haveAlternatives()
protected boolean existCompatibleClause()
public java.lang.String toString()
public java.util.List getClauses()
public Term getMatchGoal()
public java.util.List getVarsForMatch()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |