ExecStatus.java File Reference
Go to the source code of this file.
Namespaces | |
| namespace | org.gecode |
Enumerations | |
| enum | org::gecode.ExecStatus { org::gecode.ES_FAILED, org::gecode.ES_NOFIX, org::gecode.ES_OK, org::gecode.ES_FIX, 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 } |
| Status of constraint propagation and branching commit. More... | |