Clasp::ReduceStrategy Member List

This is the complete list of members for Clasp::ReduceStrategy, including all inherited members.

algo	Clasp::ReduceStrategy
Algorithm enum name	Clasp::ReduceStrategy
asScore(Score sc, const Clasp::Activity &act)	Clasp::ReduceStrategy	[inline, static]
compare(Score sc, const Clasp::Activity &lhs, const Clasp::Activity &rhs)	Clasp::ReduceStrategy	[inline, static]
est_con_complexity enum value	Clasp::ReduceStrategy
est_dynamic enum value	Clasp::ReduceStrategy
est_num_constraints enum value	Clasp::ReduceStrategy
est_num_vars enum value	Clasp::ReduceStrategy
estimate	Clasp::ReduceStrategy
EstimateSize enum name	Clasp::ReduceStrategy
fReduce	Clasp::ReduceStrategy
fRestart	Clasp::ReduceStrategy
glue	Clasp::ReduceStrategy
noGlue	Clasp::ReduceStrategy
reduce_heap enum value	Clasp::ReduceStrategy
reduce_linear enum value	Clasp::ReduceStrategy
reduce_sort enum value	Clasp::ReduceStrategy
reduce_stable enum value	Clasp::ReduceStrategy
ReduceStrategy()	Clasp::ReduceStrategy	[inline]
Score enum name	Clasp::ReduceStrategy
score	Clasp::ReduceStrategy
score_act enum value	Clasp::ReduceStrategy
score_both enum value	Clasp::ReduceStrategy
score_lbd enum value	Clasp::ReduceStrategy
scoreAct(const Activity &act)	Clasp::ReduceStrategy	[inline, static]
scoreBoth(const Activity &act)	Clasp::ReduceStrategy	[inline, static]
scoreLbd(const Activity &act)	Clasp::ReduceStrategy	[inline, static]