Module org.chocosolver.solver
Package org.chocosolver.solver.variables.impl.siglit
-
Interface Summary Interface Description SignedLiteral TODO: obfuscate calls to ImplicationGraph and domains -
Class Summary Class Description SignedLiteral.Boolean Implementation of theSignedLiteral
interface dedicated to binaries.SignedLiteral.Set Implementation of theSignedLiteral
interface dedicated to set of ints.