#include <IbexMultiSystem.h>
Public Member Functions | |
| MultiSystem (const vector< const System * > syslist) | |
| MultiSystem (const System &sys, const BlockSet &bs) | |
| ~MultiSystem () | |
| const System & | subsys (int i) const |
| System & | subsys (int i) |
| int | size () const |
This class allows to represent a set of systems.
| ibex::MultiSystem::MultiSystem | ( | const vector< const System * > | syslist | ) |
Create a multi-system with a set of subsystems.
Allow to create a multisystem of bs.nb_blk subsystems from a system sys. Each subsystem corresponds to one block in bs. The variables of the subsystem are the variables of the corresponding block and all the other entities are symbolic constants. Each subsystem contains the constraints involving at least one of its variables and (possibly) variables of previous blocks.
| ibex::MultiSystem::~MultiSystem | ( | ) |
Delete this instance.
| const System& ibex::MultiSystem::subsys | ( | int | i | ) | const [inline] |
Return a const reference to the ith system.
| System& ibex::MultiSystem::subsys | ( | int | i | ) | [inline] |
Return a non-const reference to the ith system.
| int ibex::MultiSystem::size | ( | ) | const [inline] |
Return the number of subsystems
1.5.5