SetModEvent.java File Reference
Go to the source code of this file.
Namespaces | |
| namespace | org.gecode |
Enumerations | |
| enum | org::gecode.SetModEvent { org::gecode.ME_SET_FAILED, org::gecode.ME_SET_NONE, org::gecode.ME_SET_VAL, org::gecode.ME_SET_CARD, org::gecode.ME_SET_LUB, org::gecode.ME_SET_GLB, org::gecode.ME_SET_BB, org::gecode.ME_SET_CLUB, org::gecode.ME_SET_CGLB, org::gecode.swigValue, org::gecode.swigValue, org::gecode.swigValue, org::gecode.swigValue } |
| Modification events for set variables. More... | |