- AvalSel : int.hh
- BC : graphsup.icc
- BinMod : binary.icc
- BoolTest : view.icc
- BvalSel : int.hh
- BvarSel : int.hh
- CostType : weights.cc
- Employees : crew.cc
- ev_t : val.icc
- ExampleMode : support.hh
- ExecStatus : core.icc
- IntConLevel : int.hh
- IntRelType : int.hh
- MaxPropStatus : max.icc
- PosSetCmp : reg.cc
- PropCost : core.icc
- RelTest : view.icc
- SetBvalSel : set.hh
- SetBvarSel : set.hh
- SetOpType : set.hh
- SetRelType : set.hh
- SpaceStatus : core.icc
- StateInfo : dfa.cc
- SubsumtionStatus : ranges-operations.icc
- TerMod : ternary.icc
- VarTypeId : core.icc
- ViewSelStatus : branching.icc