carl::constraint Namespace Reference

Functions
template<typename Pol >
BasicConstraint< Pol >	init_bound (Variable var, Relation rel, const typename Pol::NumberType &bound)
template<typename Pol >
BasicConstraint< Pol >	init_constraint (const Pol &lhs, Relation rel)
template<typename Pol >
void	normalize_integer_inplace (BasicConstraint< Pol > &constraint)
template<typename Pol >
unsigned	is_consistent_definiteness (const BasicConstraint< Pol > &constraint, std::optional< Definiteness > lhs_definiteness=std::nullopt)
template<typename Pol >
void	normalize_consistency_inplace (BasicConstraint< Pol > &constraint, std::optional< Definiteness > lhs_definiteness=std::nullopt)
template<typename Pol >
bool	simplify_nonlinear_univariate_monomial_inplace (BasicConstraint< Pol > &constraint, std::optional< Definiteness > lhs_definiteness=std::nullopt)
template<typename Pol >
bool	simplify_integer_inplace (BasicConstraint< Pol > &constraint)
template<typename Pol >
BasicConstraint< Pol >	create_normalized_bound (Variable var, Relation rel, const typename Pol::NumberType &bound)
template<typename Pol >
BasicConstraint< Pol >	create_normalized_constraint (const Pol &lhs, Relation rel)

Variables
static constexpr bool	FULL_EFFORT_FOR_DEFINITENESS_CHECK = false

Function Documentation

create_normalized_bound()

template<typename Pol >

BasicConstraint<Pol> carl::constraint::create_normalized_bound	(	Variable	var,
		Relation	rel,
		const typename Pol::NumberType &	bound
	)

Definition at line 328 of file Simplification.h.

Here is the call graph for this function:

create_normalized_constraint()

template<typename Pol >

BasicConstraint<Pol> carl::constraint::create_normalized_constraint	(	const Pol &	lhs,
		Relation	rel
	)

Definition at line 339 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

init_bound()

template<typename Pol >

BasicConstraint<Pol> carl::constraint::init_bound	(	Variable	var,
		Relation	rel,
		const typename Pol::NumberType &	bound
	)

Definition at line 12 of file Simplification.h.

Here is the call graph for this function:

init_constraint()

template<typename Pol >

BasicConstraint<Pol> carl::constraint::init_constraint	(	const Pol &	lhs,
		Relation	rel
	)

Definition at line 92 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

is_consistent_definiteness()

template<typename Pol >

unsigned carl::constraint::is_consistent_definiteness ( const BasicConstraint< Pol > &  constraint, std::optional< Definiteness >  lhs_definiteness = std::nullopt  )

inline

Definition at line 154 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

normalize_consistency_inplace()

template<typename Pol >

void carl::constraint::normalize_consistency_inplace ( BasicConstraint< Pol > &  constraint, std::optional< Definiteness >  lhs_definiteness = std::nullopt  )

inline

Definition at line 201 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

normalize_integer_inplace()

template<typename Pol >

void carl::constraint::normalize_integer_inplace ( BasicConstraint< Pol > &  constraint )

inline

Definition at line 140 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

simplify_integer_inplace()

template<typename Pol >

bool carl::constraint::simplify_integer_inplace ( BasicConstraint< Pol > &  constraint )

inline

Definition at line 274 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

simplify_nonlinear_univariate_monomial_inplace()

template<typename Pol >

bool carl::constraint::simplify_nonlinear_univariate_monomial_inplace ( BasicConstraint< Pol > &  constraint, std::optional< Definiteness >  lhs_definiteness = std::nullopt  )

inline

Definition at line 211 of file Simplification.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

FULL_EFFORT_FOR_DEFINITENESS_CHECK

constexpr bool carl::constraint::FULL_EFFORT_FOR_DEFINITENESS_CHECK = false

staticconstexpr

Definition at line 9 of file Simplification.h.