FLOPC++
Private Member Functions | Private Attributes | Friends | List of all members
flopc::MP_index_constant Class Reference
Inheritance diagram for flopc::MP_index_constant:
flopc::MP_index_base

Private Member Functions

 MP_index_constant (const Constant &c)
int evaluate () const
MP_indexgetIndex () const
virtual MP_domain getDomain (MP_set *s) const

Private Attributes

Constant C

Friends

class MP_index_exp

Additional Inherited Members

- Public Member Functions inherited from flopc::MP_index_base
virtual int evaluate () const =0
virtual MP_indexgetIndex () const =0
virtual MP_domain getDomain (MP_set *s) const =0
- Protected Member Functions inherited from flopc::MP_index_base
 MP_index_base ()
virtual ~MP_index_base ()

Detailed Description

Definition at line 30 of file MP_index.cpp.

Constructor & Destructor Documentation

flopc::MP_index_constant::MP_index_constant ( const Constant c)
inlineprivate

Definition at line 34 of file MP_index.cpp.

Member Function Documentation

int flopc::MP_index_constant::evaluate ( ) const
inlineprivate

Definition at line 35 of file MP_index.cpp.

References C.

virtual MP_domain flopc::MP_index_constant::getDomain ( MP_set s) const
inlineprivatevirtual

Definition at line 41 of file MP_index.cpp.

References flopc::MP_domain::getEmpty().

MP_index* flopc::MP_index_constant::getIndex ( ) const
inlineprivate

Definition at line 38 of file MP_index.cpp.

Friends And Related Function Documentation

friend class MP_index_exp
friend

Definition at line 31 of file MP_index.cpp.

Member Data Documentation

Constant flopc::MP_index_constant::C
private

Definition at line 44 of file MP_index.cpp.

Referenced by evaluate().


The documentation for this class was generated from the following file: