| BaseOption | |
| ConvexHull::BoolConvexHull< VA > | Base-class for convex boolean propagator using convex hull |
| Cimcp_convexhull | |
| Cimcp_Fconvex | |
| Cimcp_Fmonotone | |
| Emulator_1support | |
| Emulator_2support | |
| FconvexBool_emulator::FconvexBool_emulatorGq< VA, VC > | Base-class for convex boolean propagators |
| FconvexBool::FconvexBoolGq< VA, VC > | Base-class for convex function boolean propagators |
| FconvexBool::FconvexBoolLq< VA, VC > | Base-class for reify-implied convex boolean propagators |
| Fimcp_basic | |
| FloatOption | Float-valued option |
| FmonotoneBool::FmonotoneBoolGq< VA, VC > | Base-class for monotone function boolean propagators |
| ConvexHull::HullPoint | |
| ConvexHull::ImplyBoolConvexHull< VA > | Base-class for reify-implied convex boolean propagators |
| FconvexBool_emulator::ImplyFconvexBool_emulatorGq< VA, VC > | Base-class for reify-implied convex boolean propagators |
| FconvexBool::ImplyFconvexBoolGq< VA, VC > | Base-class for reify-implied convex function boolean propagators |
| FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC > | Base-class for reify-implied monotone function boolean propagators |
| Options | |
| Options_fimcp | Options for examples with additional size parameter |
| PNitemset | Itemset in PN-space: |
| Propagator | |
| Reader_Eliz< Type > | |
| Reader_SSFloat< Type > | |
| Reader_SSV< Type > | |
| FconvexBool::ReifiedFconvexBoolGq< VA, VC > | Base-class for reified convex function boolean propagators |
| ReLinBoolInt | |
| constraint_linearPlus::RImpGqBoolInt< VX, VB > | Propagator for reify-implied Boolean sum greater or equal to integer |
| Script | |
| StringUIntOption | Value-bound option Consists of the ?operator and the limit |
| TextOption | Text-valued option |
| StringUIntOption::Value | Option value |
1.6.3