Constraints

Classes
class	ibex::Constraint
	Root class of all constraint expressions. More...
class	ibex::ConstraintSpaceFactory
	Constraint Space factory. More...
class	ibex::ArithConstraint
	Arithmetical constraint. More...
class	ibex::Equality
	Equality. More...
class	ibex::Inequality
	Inequality. More...
class	ibex::NotIn
	Non-membership constraint. More...
class	ibex::CSP
	Constraint satisfaction problem. More...
class	ibex::MultiSystem
	Multi-system (system of systems of equations). More...
class	ibex::AtMostNVector
	Constraint bounding the number of distinct vectors. More...
Functions
ostream &	ibex::operator<< (ostream &os, const Constraint &ctr)

---

Function Documentation

ostream & ibex::operator<<	(	ostream &	os,
		const Constraint &	ctr
	)

Stream out a constraint