dlinear::Context::Impl Member List

This is the complete list of members for dlinear::Context::Impl, including all inherited members.

AddToBox(const Variable &v)	dlinear::Context::Impl	private
Assert(const Formula &f)	dlinear::Context::Impl
assertions() const	dlinear::Context::Impl
AssertPiecewiseLinearFunction(const Variable &var, const Formula &cond, const Expression &active, const Expression &inactive)	dlinear::Context::Impl
box()	dlinear::Context::Impl	inline
box() const	dlinear::Context::Impl	inline
boxes_	dlinear::Context::Impl	private
CheckOpt(mpq_class *obj_lo, mpq_class *obj_up)	dlinear::Context::Impl
CheckOptCore(mpq_class *obj_lo, mpq_class *obj_up)	dlinear::Context::Impl	private
CheckSat(mpq_class *precision)	dlinear::Context::Impl
CheckSatCore(mpq_class *actual_precision)	dlinear::Context::Impl	private
config() const	dlinear::Context::Impl	inline
config_	dlinear::Context::Impl	private
DeclareVariable(const Variable &v, bool is_model_variable)	dlinear::Context::Impl
explanations_so_far	dlinear::Context::Impl	private
ExtractModel(const Box &box) const	dlinear::Context::Impl	private
get_model()	dlinear::Context::Impl	inline
GetInfo(const std::string &key) const	dlinear::Context::Impl
GetOption(const std::string &key) const	dlinear::Context::Impl
GetSatSolver()	dlinear::Context::Impl	private
GetTheorySolver()	dlinear::Context::Impl	private
have_objective() const	dlinear::Context::Impl
have_objective_	dlinear::Context::Impl	private
Impl(Config &config, SmtSolverOutput *output=nullptr)	dlinear::Context::Impl	explicit
info_	dlinear::Context::Impl	private
is_max() const	dlinear::Context::Impl
is_max_	dlinear::Context::Impl	private
IsModelVariable(const Variable &v) const	dlinear::Context::Impl	private
ite_eliminator_	dlinear::Context::Impl	private
LearnExplanation(const LiteralSet &explanation)	dlinear::Context::Impl	private
LearnExplanations(const TheorySolver::Explanations &explanations)	dlinear::Context::Impl	private
logic_	dlinear::Context::Impl	private
MarkModelVariable(const Variable &v)	dlinear::Context::Impl	private
Maximize(const Expression &obj_function)	dlinear::Context::Impl
Minimize(const Expression &obj_function)	dlinear::Context::Impl
model_	dlinear::Context::Impl	private
model_variables_	dlinear::Context::Impl	private
option_	dlinear::Context::Impl	private
output_	dlinear::Context::Impl	private
pl_constraints_	dlinear::Context::Impl	private
Pop()	dlinear::Context::Impl
predicate_abstractor() const	dlinear::Context::Impl	inline
predicate_abstractor_	dlinear::Context::Impl	private
Push()	dlinear::Context::Impl
sat_solver_	dlinear::Context::Impl	private
SetDomain(const Variable &v, const Expression &lb, const Expression &ub)	dlinear::Context::Impl
SetInfo(const std::string &key, const std::string &val)	dlinear::Context::Impl
SetInterval(const Variable &v, const mpq_class &lb, const mpq_class &ub)	dlinear::Context::Impl
SetLogic(Logic logic)	dlinear::Context::Impl
SetOption(const std::string &key, const std::string &val)	dlinear::Context::Impl
stack_	dlinear::Context::Impl	private
theory_solver_	dlinear::Context::Impl	private
UpdateAndPrintOutput(SmtResult smt_result) const	dlinear::Context::Impl	private
Verify(const Box &model) const	dlinear::Context::Impl