ibex::CSP Class Reference
[Constraints]

Constraint satisfaction problem. More...

#include <IbexCSP.h>

Inheritance diagram for ibex::CSP:

List of all members.

Public Member Functions
	CSP (const char *filename)
	CSP (const vector< const Constraint * > &ctrs, Space &space)
	CSP (const vector< const Constraint * > &ctrs, SpaceFactory &fac)
	CSP (SpaceFactory &fac)
	CSP (const CSP &csp)
const Constraint &	ctr (int i) const
int	nb_var () const
int	nb_ctr () const
Public Attributes
const Env &	env
Space &	space
INTERVAL_VECTOR &	box

---

Detailed Description

Constraint satisfaction problem.

A CSP is just a list of constraints and an associated (global) space that represent the domains of the variables.

Author:

Gilles Chabert

Date:

May 2009

---

Constructor & Destructor Documentation

ibex::CSP::CSP

(

const char *

filename

)

Load a system from a file.

Parameters:

filename

a file in the syntax of the QUIMPER language.

ibex::CSP::CSP	(	const vector< const Constraint * > &	ctrs,
		Space &	space
	)

Create a system of constraints on a given space.

ibex::CSP::CSP	(	const vector< const Constraint * > &	ctrs,
		SpaceFactory &	fac
	)

Create a system of constraints with a specific space factory.

ibex::CSP::CSP

(

SpaceFactory &

fac

)

Create a system of constraints with a specific space factory. All the constraints of the current environment (i.e., the one fac is built with) are added.

ibex::CSP::CSP

(

const CSP &

csp

)

Duplicate a CSP (the space is passed by reference).

---

Member Function Documentation

const Constraint& ibex::CSP::ctr

(

int

i

)

const [inline]

Return a (const) reference to the ith equation.

Reimplemented in ibex::System.

int ibex::CSP::nb_var

(

)

const [inline]

Returs the number of variables (in the space).

int ibex::CSP::nb_ctr

(

)

const [inline]

Return the number of constraints.

---

Member Data Documentation

const Env& ibex::CSP::env

The environment where all the constraints are defined.

Space& ibex::CSP::space

The space of the system.

INTERVAL_VECTOR& ibex::CSP::box

A reference to the space vector of variable domains (introduced just for convenience).

---

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

• src/IbexCSP.h
• src/IbexCSP.cpp