Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
org.chocosolver.solver.constraints | |
org.chocosolver.solver.search | |
org.chocosolver.solver.search.loop.learn | |
org.chocosolver.solver.search.loop.monitors | |
org.chocosolver.solver.search.loop.move | |
org.chocosolver.solver.trace | |
org.chocosolver.solver.variables |
Modifier and Type | Interface and Description |
---|---|
interface |
IModel
Interface to ease modeling
Enables to make variables, views and constraints
|
interface |
ISolver
Interface to ease modeling
Enables to make variables, views and constraints
|
Modifier and Type | Class and Description |
---|---|
class |
Model
The
Model is the header component of Constraint Programming. |
class |
Solver
This class is inspired from :
Inspired from "Unifying search algorithms for CSP" N.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IConstraintFactory
Interface to make constraints over BoolVar, IntVar, RealVar and SetVar
A kind of factory relying on interface default implementation to allow (multiple) inheritance
|
interface |
IIntConstraintFactory
Interface to make constraints over BoolVar and IntVar
A kind of factory relying on interface default implementation to allow (multiple) inheritance
|
interface |
ISatFactory
A factory dedicated to SAT.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IResolutionHelper
Interface to define most commonly used resolution procedures.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ILearnFactory
Interface to define how to learn during the solving process (e.g.
|
Modifier and Type | Interface and Description |
---|---|
interface |
ISearchMonitorFactory
Interface to define some search monitors to be used
|
Modifier and Type | Interface and Description |
---|---|
interface |
IMoveFactory
Interface to define how to explore the search space from a macro perspective
(DFS, LDS, LNS, etc.)
|
Modifier and Type | Interface and Description |
---|---|
interface |
IOutputFactory
This aims at simplifying resolution trace output by providing
a unique entry point for most (not to say all) resolution message.
|
Modifier and Type | Interface and Description |
---|---|
interface |
IVariableFactory
Interface to make variables (BoolVar, IntVar, RealVar and SetVar)
A kind of factory relying on interface default implementation to allow (multiple) inheritance
|
interface |
IViewFactory
Interface to make views (BoolVar, IntVar, RealVar and SetVar)
A kind of factory relying on interface default implementation to allow (multiple) inheritance
|
Copyright © 2017. All rights reserved.