ibex::SystemSpaceFactory Class Reference
[Contractors]

System space factory. More...

#include <IbexSystemFactory.h>

Inheritance diagram for ibex::SystemSpaceFactory:

List of all members.

Public Member Functions
	SystemSpaceFactory (const Space &space, const vector< const Constraint * > &ctrs, bool syb_by_default=false)
void	set_entity (EntityType basetype, int num, EntityType newtype)
void	set_entity (const char *symbol_name, EntityType newtype)

---

Detailed Description

System space factory.

This class allows to build the space of a system from a "global" space. All the entities involved in the set of equations are added into the system space. Depending on the parameters of the constructor, the type of an entity either matches its type in the original space or is symbolic constant (see comments of the constructor ).

Author:

Gilles Chabert

Date:

November 2007

---

Constructor & Destructor Documentation

ibex::SystemSpaceFactory::SystemSpaceFactory	(	const Space &	space,
		const vector< const Constraint * > &	ctrs,
		bool	syb_by_default = false
	)

Create a system space factory.

Parameters:

	space	- the base space
	ctrs	- the list of constraints
	syb_by_default	- must be true if all entities are symbolic constants by default (including parameters). The default value of this parameter is false, which means that all entities of the system have the same type than their corresponding entity in the base space unless the type has been changed via set_entity.

Warning:

Entities of the base space that do not appear in the equations of the system are *not* included in the subsystem.

---

Member Function Documentation

void ibex::SystemSpaceFactory::set_entity	(	EntityType	basetype,
		int	num,
		EntityType	newtype
	)

Sets the type of an entity in the system.

Parameters:

	basetype	- the type of the entity to change (in the base space).
	num	- the index associated to this entity in the base space (e.g., 0 for the first variable or the first symbolic constant).
	newtype	- the new type.

Precondition:

num must be lower than base.nb_var() (resp. base.nb_syb(), base.nb_upr()) if basetype is IBEX_VAR (resp. IBEX_SYB, IBEX_UPR)

See also:

the constructor .

void ibex::SystemSpaceFactory::set_entity	(	const char *	symbol_name,
		EntityType	newtype
	)

Sets the type of an entity in the system space, from its symbol. Contrary to the set_entity method, you do not need to provide the type/number of the entity, it is automaticaly retreived from its symbol.

Parameters:

	symbol_name	- the symbol of the entity in the environment.
	newtype	- the type of the entity in the system.

Reimplemented from ibex::SpaceFactory.

---

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

• src/IbexSystemFactory.h
• src/IbexSystemFactory.cpp