public class ClauseStore extends Object
Modifier and Type | Method and Description |
---|---|
static ClauseStore |
build(Term goal,
List<Var> vars,
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
|
List<ClauseInfo> |
getClauses() |
Term |
getMatchGoal() |
List<Var> |
getVarsForMatch() |
boolean |
haveAlternatives() |
String |
toString() |
public static ClauseStore build(Term goal, List<Var> vars, List<ClauseInfo> familyClauses)
familyClauses
- public ClauseInfo fetch()
public boolean haveAlternatives()
protected boolean existCompatibleClause()
goal
- compGoals
- public List<ClauseInfo> getClauses()
public Term getMatchGoal()