Uses of Class
org.maxicp.search.DFSLinearizer

Packages that use DFSLinearizer

Package	Description
org.maxicp.search	Search API

Uses of DFSLinearizer in org.maxicp.search

Methods in org.maxicp.search with parameters of type DFSLinearizer

Modifier and Type	Method	Description
SearchStatistics	AbstractSearchMethod.replay(DFSLinearizer linearizer, CPVar[] variables)
SearchStatistics	AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo)
SearchStatistics	AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo, Runnable onNodeVisit)
SearchStatistics	AbstractSearchMethod.replaySubjectTo(DFSLinearizer linearizer, CPVar[] variables, Runnable subjectTo, Objective obj)