SetBvalSel.java File Reference
Go to the source code of this file.
Namespaces | |
| namespace | org.gecode |
Enumerations | |
| enum | org::gecode.SetBvalSel { org::gecode.SETBVAL_MIN, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next, org::gecode.next } |
| Which values to select first for branching. More... | |