public interface Condition
Modifier and Type | Field and Description |
---|---|
static Condition |
EXCEPT_0
Satisfied iff the variable cannot take value 0
|
static Condition |
TRUE
True condition, always satisfied
|
Modifier and Type | Method and Description |
---|---|
boolean |
holdOnVar(IntVar x) |
Copyright © 2018. All rights reserved.