#include <MP_set.hpp>
Inheritance diagram for flopc::MP_stage:
Collaboration diagram for flopc::MP_stage:
Public Member Functions | |
| MP_stage (int i=0) | |
| virtual int | isStage () const |
 Public Member Functions inherited from flopc::MP_set | |
| MP_set (int i=0) | |
| constructs a set with specific cardinality. More... | |
| MP_domain | operator() (const MP_index_exp &i) const |
| Constructs an MP_domain on the stack given an index expression into the set. More... | |
| operator MP_domain () const | |
| constructs an MP_domain from the MP_set. More... | |
| MP_domain | such_that (const MP_boolean &b) |
| constructs a domain by subsetting this MP_set where the MP_boolean evaluates to 'true' More... | |
| void | cyclic () |
| virtual int | size () const |
| getter for the cardinality of this MP_set. More... | |
| int | last () |
| Public Member Functions inherited from flopc::MP_set_base | |
| MP_set_base () | |
| void | display () const |
| int | check (int i) const |
| int | checkStage (int i) const |
| Public Member Functions inherited from flopc::MP_index | |
| MP_index () | |
| Default constructor. More... | |
| int | evaluate () const |
| bool | isInstantiated () const |
| void | assign (int i) |
| void | unInstantiate () |
| void | instantiate () |
| MP_index * | getIndex () const |
| virtual MP_domain | getDomain (MP_set *s) const |
| Getter for domain over which this index is applied. More... | |
| Public Member Functions inherited from flopc::Named | |
| std::string | getName () const |
| void | setName (const std::string &n) |
Additional Inherited Members | |
| Static Public Member Functions inherited from flopc::MP_set | |
| static MP_set & | getEmpty () |
| gets the distinct 'empty' MP_set. More... | |
| Static Public Member Functions inherited from flopc::MP_index | |
| static MP_index & | getEmpty () |
| returns a reference to the distinct "empty" index. More... | |
| Public Attributes inherited from flopc::MP_set_base | |
| bool | Cyclic |
| Static Public Attributes inherited from flopc::MP_index | |
| static MP_index & | Any = *new MP_index() |
| Protected Member Functions inherited from flopc::MP_index_base | |
| MP_index_base () | |
| virtual | ~MP_index_base () |
Detailed Description
Definition at line 119 of file MP_set.hpp.
Constructor & Destructor Documentation
|
inline |
Definition at line 121 of file MP_set.hpp.
Member Function Documentation
|
inlinevirtual |
Reimplemented from flopc::MP_set_base.
Definition at line 122 of file MP_set.hpp.
The documentation for this class was generated from the following file:
