public class ClauseStore
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static ClauseStore |
build(Term goal,
java.util.List<Var> vars,
java.util.List<ClauseInfo> familyClauses)
Carica una famiglia di clausole
Reviewed by Paolo Contessi:
OneWayList.transform(List) -> OneWayList.transform2(List)
|
protected boolean |
existCompatibleClause()
Verify if there is a term in compatibleGoals compatible with goal.
|
ClauseInfo |
fetch()
Restituisce la clausola da caricare
|
java.util.List<ClauseInfo> |
getClauses() |
Term |
getMatchGoal() |
java.util.List<Var> |
getVarsForMatch() |
boolean |
haveAlternatives() |
java.lang.String |
toString() |
public static ClauseStore build(Term goal, java.util.List<Var> vars, java.util.List<ClauseInfo> familyClauses)
familyClauses
- public ClauseInfo fetch()
public boolean haveAlternatives()
protected boolean existCompatibleClause()
goal
- compGoals
- public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<ClauseInfo> getClauses()
public Term getMatchGoal()
public java.util.List<Var> getVarsForMatch()