GenModEvent.java File Reference
Go to the source code of this file.
Namespaces | |
| namespace | org.gecode |
Enumerations | |
| enum | org::gecode.GenModEvent { org::gecode.ME_GEN_FAILED, org::gecode.ME_GEN_NONE, org::gecode.ME_GEN_VAL, org::gecode.this } |
| Generic modification events. More... | |