Module org.maxicp

Package org.maxicp.search

Class SymbolicSearchMethod

java.lang.Object

org.maxicp.search.AbstractSearchMethod<SymbolicModel>

org.maxicp.search.SymbolicSearchMethod

All Implemented Interfaces:

SearchMethod

public abstract class SymbolicSearchMethod
extends AbstractSearchMethod<SymbolicModel>

Nested Class Summary

Nested classes/interfaces inherited from class org.maxicp.search.AbstractSearchMethod

AbstractSearchMethod.IntRef

Field Summary

Fields inherited from class org.maxicp.search.AbstractSearchMethod

branching, failureListeners, sm, solutionListeners

Constructor Summary

Constructors

Constructor	Description
SymbolicSearchMethod(StateManager sm, Supplier<SymbolicModel[]> branching)

Method Summary

Methods inherited from class org.maxicp.search.AbstractSearchMethod

allFixed, notifyFailure, notifySolution, onFailure, onSolution, optimize, optimize, optimize, optimize, optimizeSubjectTo, optimizeSubjectTo, replay, replaySubjectTo, replaySubjectTo, replaySubjectTo, solve, solve, solve, solve, solveSubjectTo, startSolve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.maxicp.search.SearchMethod

onFailure, onSolution

Constructor Details

SymbolicSearchMethod

public SymbolicSearchMethod(StateManager sm,
 Supplier<SymbolicModel[]> branching)