- B : CrowdedChess
- BT_AND : Gecode::MiniModel::BoolExpr
- BT_EQV : Gecode::MiniModel::BoolExpr
- BT_IMP : Gecode::MiniModel::BoolExpr
- BT_NOT : Gecode::MiniModel::BoolExpr
- BT_OR : Gecode::MiniModel::BoolExpr
- BT_RLIN : Gecode::MiniModel::BoolExpr
- BT_VAR : Gecode::MiniModel::BoolExpr
- BT_XOR : Gecode::MiniModel::BoolExpr
- E : CrowdedChess
- ET_CONC : Gecode::REG::Exp
- ET_OR : Gecode::REG::Exp
- ET_STAR : Gecode::REG::Exp
- ET_SYMBOL : Gecode::REG::Exp
- K : CrowdedChess
- PMAX : CrowdedChess
- Q : CrowdedChess
- R : CrowdedChess