ibex::ConstraintSpaceFactory Class Reference
[Constraints]

Constraint Space factory. More...

#include <IbexConstraint.h>

Inheritance diagram for ibex::ConstraintSpaceFactory:

List of all members.

Public Member Functions
	ConstraintSpaceFactory (const Constraint &ctr, bool only_multi_occ)

---

Detailed Description

Constraint Space factory.

This factory allows to build a space restricted to the scope of a single constraint (i.e., only the symbols involved in the constraint are entities).

If the only_mult_occ parameter is true, only symbols with multiple occurrences are variables (the other being symbolic constants). Otherwise, all the symbols are variables.

Author:

Gilles Chabert

Date:

May 2009

---

Constructor & Destructor Documentation

ibex::ConstraintSpaceFactory::ConstraintSpaceFactory	(	const Constraint &	ctr,
		bool	only_multi_occ
	)

Build the space factory for a constraint

---

The documentation for this class was generated from the following files:

• src/IbexConstraint.h
• src/IbexConstraint.cpp