dlinear::ReluConstraint Member List

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

active_soi() const	dlinear::PiecewiseLinearConstraint	inline
active_soi_	dlinear::PiecewiseLinearConstraint	protected
active_var() const	dlinear::PiecewiseLinearConstraint	inline
active_var_	dlinear::PiecewiseLinearConstraint	protected
Assumptions() const override	dlinear::ReluConstraint	virtual
Cost(const Environment &env) const	dlinear::PiecewiseLinearConstraint
Cost(const Environment &env, bool active) const	dlinear::PiecewiseLinearConstraint
fixed() const	dlinear::PiecewiseLinearConstraint	inline
has_lower_bound() const	dlinear::PiecewiseLinearConstraint	inline
has_upper_bound() const	dlinear::PiecewiseLinearConstraint	inline
inactive_soi() const	dlinear::PiecewiseLinearConstraint	inline
inactive_soi_	dlinear::PiecewiseLinearConstraint	protected
inactive_var() const	dlinear::PiecewiseLinearConstraint	inline
inactive_var_	dlinear::PiecewiseLinearConstraint	protected
LearnedClauses() const override	dlinear::ReluConstraint	virtual
lower_bound() const	dlinear::PiecewiseLinearConstraint
lower_bound_	dlinear::PiecewiseLinearConstraint	protected
PiecewiseLinearConstraint(const mpq_class *lb=nullptr, const mpq_class *ub=nullptr, Variable active_var={}, Variable inactive_var={}, Variable theory_var={}, Expression active_soi={0}, Expression inactive_soi={0}, PiecewiseConstraintState state=PiecewiseConstraintState::NOT_FIXED)	dlinear::PiecewiseLinearConstraint	explicit
Print(std::ostream &os) const override	dlinear::ReluConstraint	virtual
ReluConstraint(const Variable &relu_var, const Expression &e, const PredicateAbstractor &pa)	dlinear::ReluConstraint
ReluConstraint(Variable active_var, Variable inactive_var, Variable relu_var, Expression active_soi)	dlinear::ReluConstraint
soi() const	dlinear::PiecewiseLinearConstraint
state() const	dlinear::PiecewiseLinearConstraint	inline
state_	dlinear::PiecewiseLinearConstraint	protected
theory_var() const	dlinear::PiecewiseLinearConstraint	inline
theory_var_	dlinear::PiecewiseLinearConstraint	protected
TightenBounds(BoundPreprocessor &preprocessor) override	dlinear::ReluConstraint	virtual
UpdateBounds(const mpq_class &lb, const mpq_class &ub)	dlinear::PiecewiseLinearConstraint
UpdateBounds(const mpq_class *lb, const mpq_class *ub)	dlinear::PiecewiseLinearConstraint
UpdateLowerBound(const mpq_class *lower_bound) override	dlinear::ReluConstraint	virtual
UpdateUpperBound(const mpq_class *upper_bound) override	dlinear::ReluConstraint	virtual
upper_bound() const	dlinear::PiecewiseLinearConstraint
upper_bound_	dlinear::PiecewiseLinearConstraint	protected
zero	dlinear::ReluConstraint	static
zero_soi	dlinear::PiecewiseLinearConstraint	static