smtrat::lve Namespace Reference

Functions
Rational	evaluate (carl::Variable v, const Poly &p, const Rational &r)
carl::Sign	sgn (carl::Variable v, const Poly &p, const RAN &r)
std::optional< ModelValue >	get_root (carl::Variable v, const Poly &p)
ModelValue	get_non_root (carl::Variable v, const Poly &p)
std::optional< ModelValue >	get_value_for_sgn (carl::Variable v, const Poly &p, carl::Sign sign)
carl::Sign	sgn_of_invariant_poly (carl::Variable v, const Poly &p)

Function Documentation

evaluate()

Rational smtrat::lve::evaluate	(	carl::Variable	v,
		const Poly &	p,
		const Rational &	r
	)

Definition at line 11 of file utils.h.

Here is the call graph for this function:

Here is the caller graph for this function:

get_non_root()

ModelValue smtrat::lve::get_non_root	(	carl::Variable	v,
		const Poly &	p
	)

Definition at line 37 of file utils.h.

Here is the call graph for this function:

get_root()

std::optional<ModelValue> smtrat::lve::get_root	(	carl::Variable	v,
		const Poly &	p
	)

Definition at line 28 of file utils.h.

get_value_for_sgn()

std::optional<ModelValue> smtrat::lve::get_value_for_sgn	(	carl::Variable	v,
		const Poly &	p,
		carl::Sign	sign
	)

Definition at line 45 of file utils.h.

Here is the call graph for this function:

sgn()

carl::Sign smtrat::lve::sgn	(	carl::Variable	v,
		const Poly &	p,
		const RAN &	r
	)

Definition at line 15 of file utils.h.

Here is the call graph for this function:

Here is the caller graph for this function:

sgn_of_invariant_poly()

carl::Sign smtrat::lve::sgn_of_invariant_poly	(	carl::Variable	v,
		const Poly &	p
	)

Definition at line 71 of file utils.h.

Here is the call graph for this function: