Package | Description |
---|---|
org.chocosolver.solver.variables.view |
Modifier and Type | Class and Description |
---|---|
class |
EqView
declare an BoolVar based on X and C, such as (X = C) is reified by this.
|
class |
LeqView
declare an BoolVar based on X and C, such as (X <= C) is reified by this.
|
Copyright © 2018. All rights reserved.