ibex::AtMostNVector Class Reference
[Constraints]

Constraint bounding the number of distinct vectors. More...

#include <IbexNVector.h>

Inheritance diagram for ibex::AtMostNVector:

List of all members.

Public Member Functions
	~AtMostNVector ()
void	accept_printer (const OperatorPrinter &p) const
void	forward (const Space &space) const
void	backward (Space &space) const
bool	is_equality () const
int	nb_expr () const
const Expr &	expr (int i) const
Public Attributes
const int	N
const Dim	dim

---

Detailed Description

Constraint bounding the number of distinct vectors.

This constraint involves a set of vectors of expressions and a constant N. It makes the number of distinct vectors shared by these expressions being less or equal to N. See [cha09b] for a description of the constraint and the associated contractor.

Author:

Gilles Chabert

Date:

December 2008

---

Constructor & Destructor Documentation

ibex::AtMostNVector::~AtMostNVector

(

)

Delete ths instance.

---

Member Function Documentation

void ibex::AtMostNVector::accept_printer

(

const OperatorPrinter &

p

)

const [inline, virtual]

Accept the pretty printer.

Implements ibex::Constraint.

void ibex::AtMostNVector::forward

(

const Space &

space

)

const [virtual]

Forward evaluation.

Implements ibex::Constraint.

void ibex::AtMostNVector::backward

(

Space &

space

)

const [virtual]

Backward evaluation.

Implements ibex::Constraint.

bool ibex::AtMostNVector::is_equality

(

)

const [inline, virtual]

Return false.

Implements ibex::Constraint.

int ibex::AtMostNVector::nb_expr

(

)

const [inline]

Number of expressions.

const Expr& ibex::AtMostNVector::expr

(

int

i

)

const [inline]

Return the ith expression.

Precondition:

i<nb_expr().

---

Member Data Documentation

const int ibex::AtMostNVector::N

The number N (of different vectors)

const Dim ibex::AtMostNVector::dim

The common dimension of all expressions

---

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

• src/IbexNVector.h
• src/IbexNVector.cpp