Internal representation of a "set". More...
#include <MP_domain.hpp>
Inheritance diagram for flopc::MP_subset< nbr >:
Collaboration diagram for flopc::MP_subset< nbr >:
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 (std::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()) |
| const MP_domain & | operator() (const SUBSETREF &s) |
| int | evaluate (const std::vector< MP_index * > &I) const |
| void | insert (const std::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. More... | |
 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 () |
| setter for 'cyclic' property 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 |
| virtual int | isStage () const |
| Public Member Functions inherited from flopc::MP_index | |
| MP_index () | |
| Default constructor. More... | |
| int | evaluate () const |
| bool | isInstantiated () const |
| interrogate state of instatiation of data. More... | |
| void | assign (int i) |
| Setter for the index. More... | |
| void | unInstantiate () |
| unsetter for instatiated. More... | |
| void | instantiate () |
| setter for instatiated. More... | |
| MP_index * | getIndex () const |
| getter for MP_index * data type. More... | |
| 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) |
Private Attributes | |
| std::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 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 |
| Protected Member Functions inherited from flopc::MP_index_base | |
| MP_index_base () | |
| virtual | ~MP_index_base () |
Detailed Description
template<int nbr>
class flopc::MP_subset< nbr >
Internal representation of a "set".
- Note
- FOR INTERNAL USE: This is not normally used directly by the calling code.
- this is often implicitly created with many expressions which may subset a set.
Definition at line 23 of file MP_domain.hpp.
Constructor & Destructor Documentation
template<int nbr>
|
inline |
Definition at line 165 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 189 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 191 of file MP_set.hpp.
Member Function Documentation
template<int nbr>
|
inline |
Definition at line 172 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 193 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 203 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 211 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 215 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 230 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 246 of file MP_set.hpp.
template<int nbr>
|
inline |
Definition at line 249 of file MP_set.hpp.
template<int nbr>
|
inlinevirtual |
getter for the cardinality of this MP_set.
Reimplemented from flopc::MP_set.
Definition at line 256 of file MP_set.hpp.
Friends And Related Function Documentation
template<int nbr>
|
friend |
Definition at line 162 of file MP_set.hpp.
template<int nbr>
|
friend |
Definition at line 163 of file MP_set.hpp.
Member Data Documentation
template<int nbr>
|
private |
Definition at line 261 of file MP_set.hpp.
template<int nbr>
|
private |
Definition at line 262 of file MP_set.hpp.
The documentation for this class was generated from the following files:
- /tmp/Smi-0.96.1/FlopCpp/src/MP_domain.hpp
- /tmp/Smi-0.96.1/FlopCpp/src/MP_set.hpp
