|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface VarSet
Interface for classes that maintain a set of variables in a specified order.
| Method Summary | |
|---|---|
AssignmentIterator |
assignmentIterator()
Returns an iterator over the assignments to this clique. |
Variable |
get(int idx)
Returns the variable in this clique at index idx. |
VarSet |
intersection(VarSet c)
Returns the intersection of two cliques. |
Variable[] |
toVariableArray()
Returns the variables in this clique as an array, that should not be modified. |
int |
weight()
Returns the number of assignments of this clique. |
| Methods inherited from interface java.util.Set |
|---|
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray |
| Method Detail |
|---|
Variable get(int idx)
idx -
Variable[] toVariableArray()
int weight()
AssignmentIterator assignmentIterator()
Assignment object.
VarSet intersection(VarSet c)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||