|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ResolutionTrace.Traversal | |
---|---|
kodkod.engine.satlab |
Uses of ResolutionTrace.Traversal in kodkod.engine.satlab |
---|
Methods in kodkod.engine.satlab that return ResolutionTrace.Traversal | |
---|---|
static ResolutionTrace.Traversal |
ResolutionTrace.Traversal.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ResolutionTrace.Traversal[] |
ResolutionTrace.Traversal.values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods in kodkod.engine.satlab with parameters of type ResolutionTrace.Traversal | |
---|---|
java.util.Iterator<Clause> |
ResolutionTrace.iterator(ResolutionTrace.Traversal traversal)
Returns an iterator that traverses this resolution trace in the given traversal order. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |