Package | Description |
---|---|
org.jacop.core | |
org.jacop.floats.core | |
org.jacop.set.core |
Modifier and Type | Class and Description |
---|---|
class |
BooleanVar
Defines a variable and related operations on it.
|
class |
IntVar
Defines a Finite Domain Variable (FDV) and related operations on it.
|
class |
Var
Defines a variable and related operations on it.
|
Modifier and Type | Field and Description |
---|---|
Backtrackable[] |
SimpleBacktrackableManager.objects
It stores objects which change has to be restored upon backtracking.
|
Modifier and Type | Method and Description |
---|---|
void |
BacktrackableManager.update(Backtrackable[] objects,
int noOfObjects)
It updates the manager with new array of objects to manage and new number of them.
|
void |
SimpleBacktrackableManager.update(Backtrackable[] objects,
int noOfObjects) |
Constructor and Description |
---|
IntervalBasedBacktrackableManager(Backtrackable[] vars,
int noOfObjects,
int minHoleSize,
int maxNoOfIntervals)
It creates a interval based backtrackable manager.
|
SimpleBacktrackableManager(Backtrackable[] vars,
int noOfObjects)
It constructs a trail manager.
|
Modifier and Type | Class and Description |
---|---|
class |
FloatVar
Defines a Float Domain Variable and related operations on it.
|
Modifier and Type | Class and Description |
---|---|
class |
SetVar
Defines a Finite Domain Variable (FDV) and related operations on it.
|
Copyright © 2022. All rights reserved.