Class and Description |
---|
org.jacop.jasat.utils.GenericMemoryPool |
org.jacop.satwrapper.translation.LazyCpVarDomain |
org.jacop.set.constraints.Lex
As of release 4.5.1 replaced by AltB and AleB constraints.
|
org.jacop.constraints.Linear
As of release 4.3.1 replaced by LinearInt constraint.
|
org.jacop.constraints.SumWeightDom
As of release 4.3.1 replaced by LinearIntDom constraint.
|
Method and Description |
---|
org.jacop.jasat.core.clauses.MapClause.isTrivial() |
Copyright © 2022. All rights reserved.