dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::Context Member List

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

Assert(const Formula &f)dlinear::Context
assertions() constdlinear::Context
AssertPiecewiseLinearFunction(const Variable &var, const Formula &cond, const Expression &active, const Expression &inactive)dlinear::Context
box() constdlinear::Context
CheckOpt(mpq_class *obj_lo, mpq_class *obj_up)dlinear::Context
CheckSat(mpq_class *actual_precision)dlinear::Context
config() constdlinear::Context
Context(Config &config, SmtSolverOutput *=nullptr)dlinear::Contextexplicit
DeclareVariable(const Variable &v, bool is_model_variable=true)dlinear::Context
DeclareVariable(const Variable &v, const Expression &lb, const Expression &ub, bool is_model_variable=true)dlinear::Context
Exit()dlinear::Context
GetInfo(const std::string &key) constdlinear::Context
GetOption(const std::string &key) constdlinear::Context
have_objective() constdlinear::Context
impl_dlinear::Contextprivate
is_max() constdlinear::Context
Maximize(const Expression &f)dlinear::Context
Minimize(const Expression &f)dlinear::Context
model() constdlinear::Context
Pop(int n)dlinear::Context
predicate_abstractor() constdlinear::Context
Push(int n)dlinear::Context
SetInfo(const std::string &key, const std::string &val)dlinear::Context
SetInterval(const Variable &v, const mpq_class &lb, const mpq_class &ub)dlinear::Context
SetLogic(Logic logic)dlinear::Context
SetOption(const std::string &key, const std::string &val)dlinear::Context
Verify(const Box &model) constdlinear::Context