Package | Description |
---|---|
org.jacop.core |
Modifier and Type | Field and Description |
---|---|
static FailException |
Domain.failException
An exception used if failure encountered in functions in();
|
static FailException |
Store.failException
It stores standard fail exception used when empty domain encountered.
|
Modifier and Type | Method and Description |
---|---|
void |
Store.imposeWithConsistency(Constraint c)
In some special cases it may be beneficial to compute consistency of
constraint store immediately after the constraint is imposed.
|
void |
Store.imposeWithConsistency(Constraint c,
int queueIndex)
In some special cases it may be beneficial to compute consistency of
constraint store immediately after the constraint is imposed.
|
Copyright © 2022. All rights reserved.