FLOPC++
|
#include <MP_set.hpp>
Public Member Functions | |
MP_stage (int i=0) | |
virtual int | isStage () const |
![]() | |
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 () |
![]() | |
MP_set_base () | |
int | check (int i) const |
int | checkStage (int i) const |
![]() | |
MP_index () | |
Default constructor. More... | |
int | evaluate () const |
![]() | |
string | getName () const |
void | setName (const string &n) |
Additional Inherited Members | |
![]() | |
static MP_set & | getEmpty () |
gets the distinct 'empty' MP_set. More... | |
![]() | |
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... | |
![]() | |
bool | Cyclic |
![]() | |
MP_index_base () | |
virtual | ~MP_index_base () |
Definition at line 120 of file MP_set.hpp.
|
inline |
Definition at line 122 of file MP_set.hpp.
|
inlinevirtual |
Reimplemented from flopc::MP_set_base.
Definition at line 123 of file MP_set.hpp.