Internal representation of a "set". More...
#include <MP_set.hpp>
Public Member Functions | |
SubsetRef (MP_subset< nbr > *s, const MP_index_exp &i1, const MP_index_exp &i2, const MP_index_exp &i3, const MP_index_exp &i4, const MP_index_exp &i5) | |
operator MP_domain () const | |
virtual MP_domain | getDomain (MP_set *s) const |
SubsetRef & | such_that (const MP_boolean &b) |
int | evaluate () const |
MP_index * | getIndex () const |
Public Attributes | |
MP_boolean | B |
MP_subset< nbr > * | S |
MP_index_exp | I1 |
MP_index_exp | I2 |
MP_index_exp | I3 |
MP_index_exp | I4 |
MP_index_exp | I5 |
Internal representation of a "set".
Definition at line 290 of file MP_set.hpp.
flopc::SubsetRef< nbr >::SubsetRef | ( | MP_subset< nbr > * | s, | |
const MP_index_exp & | i1, | |||
const MP_index_exp & | i2, | |||
const MP_index_exp & | i3, | |||
const MP_index_exp & | i4, | |||
const MP_index_exp & | i5 | |||
) | [inline] |
Definition at line 292 of file MP_set.hpp.
flopc::SubsetRef< nbr >::operator MP_domain | ( | ) | const [inline] |
Definition at line 300 of file MP_set.hpp.
virtual MP_domain flopc::SubsetRef< nbr >::getDomain | ( | MP_set * | s | ) | const [inline, virtual] |
Reimplemented from flopc::SUBSETREF.
Definition at line 314 of file MP_set.hpp.
SubsetRef& flopc::SubsetRef< nbr >::such_that | ( | const MP_boolean & | b | ) | [inline] |
Definition at line 325 of file MP_set.hpp.
int flopc::SubsetRef< nbr >::evaluate | ( | ) | const [inline, virtual] |
Reimplemented from flopc::SUBSETREF.
Definition at line 330 of file MP_set.hpp.
MP_index* flopc::SubsetRef< nbr >::getIndex | ( | ) | const [inline, virtual] |
Reimplemented from flopc::SUBSETREF.
Definition at line 346 of file MP_set.hpp.
MP_boolean flopc::SubsetRef< nbr >::B |
Definition at line 349 of file MP_set.hpp.
MP_subset<nbr>* flopc::SubsetRef< nbr >::S |
Definition at line 350 of file MP_set.hpp.
MP_index_exp flopc::SubsetRef< nbr >::I1 |
Definition at line 351 of file MP_set.hpp.
MP_index_exp flopc::SubsetRef< nbr >::I2 |
Definition at line 351 of file MP_set.hpp.
MP_index_exp flopc::SubsetRef< nbr >::I3 |
Definition at line 351 of file MP_set.hpp.
MP_index_exp flopc::SubsetRef< nbr >::I4 |
Definition at line 351 of file MP_set.hpp.
MP_index_exp flopc::SubsetRef< nbr >::I5 |
Definition at line 351 of file MP_set.hpp.