Package | Description |
---|---|
minicp.cp |
Factory methods for modeling and create search heuristics
|
minicp.engine.constraints |
Constraints
|
minicp.engine.core |
Solver objects
|
minicp.examples |
Model examples
|
Class and Description |
---|
BoolVar
Boolean variable, that can be used as a 0-1 IntVar.
|
Constraint
Interface implemented by every Constraint
|
IntVar |
Solver |
Class and Description |
---|
AbstractConstraint
Abstract class the most of the constraints
should extend.
|
BoolVar
Boolean variable, that can be used as a 0-1 IntVar.
|
Constraint
Interface implemented by every Constraint
|
IntVar |
Class and Description |
---|
AbstractConstraint
Abstract class the most of the constraints
should extend.
|
BoolVar
Boolean variable, that can be used as a 0-1 IntVar.
|
Constraint
Interface implemented by every Constraint
|
DomainListener
Domain listeners are passed as argument
to the
IntDomain modifier methods. |
IntDomain
Interface for integer domain implementation.
|
IntVar |
IntVarImpl
Implementation of a variable
with a
SparseSetDomain . |
Solver |
Class and Description |
---|
IntVar |
Copyright © 2018 Laurent Michel, Pierre Schaus, Pascal Van Hentenryck. All rights reserved.