SetBvarSel.java File Reference
Go to the source code of this file.
Namespaces | |
| namespace | org.gecode |
Enumerations | |
| enum | org::gecode.SetBvarSel { org::gecode.SETBVAR_NONE, org::gecode.SETBVAR_MIN_CARD, org::gecode.SETBVAR_MAX_CARD, org::gecode.SETBVAR_MIN_UNKNOWN_ELEM, 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 variable to select for branching. More... | |