ibex::Contractor::Indicators Class Reference
[Contractors]

Indicators structure for contractors. More...

#include <IbexContractor.h>

List of all members.

Public Member Functions
	Indicators ()
	Indicators (int impact, int scope)
	Indicators (const Indicators &p)
Public Attributes
int	impact
int	scope

---

Detailed Description

Indicators structure for contractors.

Author:

Gilles Chabert

Date:

November 2007

---

Constructor & Destructor Documentation

ibex::Contractor::Indicators::Indicators

(

)

[inline]

Build indicators by default.

ibex::Contractor::Indicators::Indicators	(	int	impact,
		int	scope
	)			[inline]

Build indicators with specific values (impact and scope).

ibex::Contractor::Indicators::Indicators

(

const Indicators &

p

)

[inline]

Duplicate this instance.

---

Member Data Documentation

int ibex::Contractor::Indicators::impact

The impacted variable (if any) since last contraction. Set to ALL_VARS by default.

Remarks:

It might be possible to specify a subset of variables in a future release (instead of a single one).

See also:

ibex::Contractor::contract(const Indicators&).

int ibex::Contractor::Indicators::scope

The variable to be contracted. Set to ALL_VARS by default.

Remarks:

It might be possible to specify a subset of variables in a future release (instead of a single one).

See also:

ibex::Contractor::contract(const Indicators&).

---

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

• src/IbexContractor.h