Searched defs:HeuParams (Results 1 – 6 of 6) sorted by relevance
169 struct HeuParams { struct184 HeuParams(); argument186 uint32 score : 2; /*!< Type of scoring during resolution. */187 uint32 other : 2; /*!< Consider other learnt nogoods in heuristic. */188 uint32 moms : 1; /*!< Use MOMS-score as top-level heuristic. */189 uint32 nant : 1; /*!< Prefer elements in NegAnte(P). */190 uint32 huang : 1; /*!< Only for Berkmin. */191 uint32 acids : 1; /*!< Only for Vsids/Dom. */192 uint32 domPref : 5; /*!< Default pref for doamin heuristic (set of DomPref). */193 uint32 domMod : 3; /*!< Default mod for domain heuristic (one of DomMod). */[all …]
52 HeuParams::HeuParams() { in HeuParams() function in Clasp::HeuParams