Uses of Class
kodkod.engine.satlab.TraversalStrategy

Packages that use TraversalStrategy
kodkod.engine.satlab Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. 
 

Uses of TraversalStrategy in kodkod.engine.satlab
 

Methods in kodkod.engine.satlab that return TraversalStrategy
static TraversalStrategy TraversalStrategy.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static TraversalStrategy[] TraversalStrategy.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 TraversalStrategy
 java.util.Iterator<Clause> ResolutionTrace.iterator(TraversalStrategy traversal)
          Returns an iterator that traverses this resolution trace in the given traversal order.