SatCoreBasedOptimizer Member List

This is the complete list of members for SatCoreBasedOptimizer, including all inherited members.

ABORT enum value	BopOptimizerBase
BopOptimizerBase(const std::string &name)	BopOptimizerBase	explicit
CONTINUE enum value	BopOptimizerBase
GetStatusString(Status status)	BopOptimizerBase	static
INFEASIBLE enum value	BopOptimizerBase
INFORMATION_FOUND enum value	BopOptimizerBase
LIMIT_REACHED enum value	BopOptimizerBase
name() const	BopOptimizerBase	inline
name_	BopOptimizerBase	protected
OPTIMAL_SOLUTION_FOUND enum value	BopOptimizerBase
Optimize(const BopParameters &parameters, const ProblemState &problem_state, LearnedInfo *learned_info, TimeLimit *time_limit) override	SatCoreBasedOptimizer	protectedvirtual
SatCoreBasedOptimizer(const std::string &name)	SatCoreBasedOptimizer	explicit
ShouldBeRun(const ProblemState &problem_state) const override	SatCoreBasedOptimizer	protectedvirtual
SOLUTION_FOUND enum value	BopOptimizerBase
stats_	BopOptimizerBase	mutableprotected
Status enum name	BopOptimizerBase
~BopOptimizerBase()	BopOptimizerBase	virtual
~SatCoreBasedOptimizer() override	SatCoreBasedOptimizer