Uses of Class
kodkod.engine.satlab.ResolutionTrace.Traversal

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.