FLOPC++
|
Internal representation of a "set". More...
#include <MP_set.hpp>
Public Member Functions | |
MP_subset (const MP_set &s1, const MP_set &s2=MP_set::getEmpty(), const MP_set &s3=MP_set::getEmpty(), const MP_set &s4=MP_set::getEmpty(), const MP_set &s5=MP_set::getEmpty()) | |
void | display (const std::string &s="") const |
MP_subset (vector< const MP_set * > s) | |
~MP_subset () | |
int | operator() (int i1, int i2=0, int i3=0, int i4=0, int i5=0) |
SubsetRef< nbr > & | operator() (const MP_index_exp &i1, const MP_index_exp &i2=MP_index::getEmpty(), const MP_index_exp &i3=MP_index::getEmpty(), const MP_index_exp &i4=MP_index::getEmpty(), const MP_index_exp &i5=MP_index::getEmpty()) |
MP_domain & | operator() (const SUBSETREF &s) |
int | evaluate (const vector< MP_index * > &I) const |
void | insert (const vector< int > &args) |
void | insert (int i1, int i2=0, int i3=0, int i4=0, int i5=0) |
const InsertFunctor< nbr > & | insert (MP_index_exp i1, MP_index_exp i2=MP_index_exp::getEmpty(), MP_index_exp i3=MP_index_exp::getEmpty(), MP_index_exp i4=MP_index_exp::getEmpty(), MP_index_exp i5=MP_index_exp::getEmpty()) |
virtual int | size () const |
getter for the cardinality of this MP_set. | |
![]() | |
MP_set (int i=0) | |
constructs a set with specific cardinality. | |
MP_domain | operator() (const MP_index_exp &i) const |
Constructs an MP_domain on the stack given an index expression into the set. | |
operator MP_domain () const | |
constructs an MP_domain from the MP_set. | |
MP_domain | such_that (const MP_boolean &b) |
constructs a domain by subsetting this MP_set where the MP_boolean evaluates to 'true' | |
void | cyclic () |
int | last () |
![]() | |
MP_set_base () | |
int | check (int i) const |
int | checkStage (int i) const |
virtual int | isStage () const |
![]() | |
MP_index () | |
Default constructor. | |
int | evaluate () const |
![]() | |
virtual MP_index * | getIndex () const =0 |
virtual MP_domain | getDomain (MP_set *s) const =0 |
![]() | |
string | getName () const |
void | setName (const string &n) |
Private Attributes | |
vector< const MP_set * > | S |
std::map< std::vector< int >, int > | elements |
Friends | |
class | MP_domain_subset< nbr > |
class | SubsetRef< nbr > |
Additional Inherited Members | |
![]() | |
static MP_set & | getEmpty () |
gets the distinct 'empty' MP_set. | |
![]() | |
bool | Cyclic |
![]() | |
MP_index_base () | |
virtual | ~MP_index_base () |
Internal representation of a "set".
Definition at line 162 of file MP_set.hpp.
|
inline |
Definition at line 166 of file MP_set.hpp.
References flopc::MP_subset< nbr >::S.
|
inline |
Definition at line 185 of file MP_set.hpp.
|
inline |
Definition at line 187 of file MP_set.hpp.
|
inline |
Definition at line 174 of file MP_set.hpp.
References flopc::MP_subset< nbr >::elements.
|
inline |
Definition at line 211 of file MP_set.hpp.
References flopc::MP_subset< nbr >::elements, flopc::outOfBound, and flopc::pos().
|
inline |
Definition at line 226 of file MP_set.hpp.
References flopc::MP_set_base::check(), flopc::MP_subset< nbr >::elements, flopc::outOfBound, flopc::pos(), and flopc::MP_subset< nbr >::S.
Referenced by flopc::MP_subset< nbr >::insert().
|
inline |
Definition at line 242 of file MP_set.hpp.
References flopc::MP_subset< nbr >::insert().
|
inline |
Definition at line 245 of file MP_set.hpp.
|
inline |
Definition at line 189 of file MP_set.hpp.
References flopc::MP_subset< nbr >::elements, flopc::outOfBound, and flopc::pos().
|
inline |
Definition at line 199 of file MP_set.hpp.
|
inline |
Definition at line 207 of file MP_set.hpp.
|
inlinevirtual |
getter for the cardinality of this MP_set.
Reimplemented from flopc::MP_set.
Definition at line 252 of file MP_set.hpp.
References flopc::MP_subset< nbr >::elements.
|
friend |
Definition at line 163 of file MP_set.hpp.
|
friend |
Definition at line 164 of file MP_set.hpp.
|
private |
Definition at line 258 of file MP_set.hpp.
Referenced by flopc::MP_subset< nbr >::display(), flopc::MP_subset< nbr >::evaluate(), flopc::MP_subset< nbr >::insert(), flopc::MP_subset< nbr >::operator()(), and flopc::MP_subset< nbr >::size().
|
private |
Definition at line 257 of file MP_set.hpp.
Referenced by flopc::MP_subset< nbr >::insert(), and flopc::MP_subset< nbr >::MP_subset().