#include <MP_set.hpp>
Inheritance 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 () | |
| 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 |
| Public Member Functions inherited from flopc::Named | |
| string | getName () const |
| void | setName (const 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... | |
| static MP_index & | Any () |
| returns a reference to the distinct "wildcard" index. More... | |
| Public Attributes inherited from flopc::MP_set_base | |
| bool | Cyclic |
| Protected Member Functions inherited from flopc::MP_index_base | |
| MP_index_base () | |
| virtual | ~MP_index_base () |
Detailed Description
Definition at line 120 of file MP_set.hpp.
Constructor & Destructor Documentation
|
inline |
Definition at line 122 of file MP_set.hpp.
Member Function Documentation
|
inlinevirtual |
Reimplemented from flopc::MP_set_base.
Definition at line 123 of file MP_set.hpp.
The documentation for this class was generated from the following file:
