flopc::MP_index_mult Class Reference
[Internal (private) interface.]

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_mult:
Inheritance graph
[legend]
Collaboration diagram for flopc::MP_index_mult:
Collaboration graph
[legend]

List of all members.

Private Member Functions

 MP_index_mult (MP_index &i, const Constant &j)
int evaluate () const
MP_indexgetIndex () const
virtual MP_domain getDomain (MP_set *s) const

Private Attributes

MP_index_exp left
Constant right

Friends

MP_index_exp operator* (MP_index &i, const Constant &j)
 returns an index expression from a product between an MP_index and a Constant.

Detailed Description

Internal representation of an index expression.

Note:
FOR INTERNAL USE: This is not normally used directly by the calling code.
See also:
operator*(MP_index& i, const Constant & j);

Definition at line 170 of file MP_index.hpp.


Constructor & Destructor Documentation

flopc::MP_index_mult::MP_index_mult ( MP_index i,
const Constant j 
) [inline, private]

Definition at line 173 of file MP_index.hpp.


Member Function Documentation

int flopc::MP_index_mult::evaluate (  )  const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 175 of file MP_index.hpp.

MP_index* flopc::MP_index_mult::getIndex (  )  const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 178 of file MP_index.hpp.

virtual MP_domain flopc::MP_index_mult::getDomain ( MP_set s  )  const [private, virtual]

Implements flopc::MP_index_base.


Friends And Related Function Documentation

MP_index_exp operator* ( MP_index i,
const Constant j 
) [friend]

returns an index expression from a product between an MP_index and a Constant.


Member Data Documentation

Definition at line 182 of file MP_index.hpp.

Definition at line 183 of file MP_index.hpp.


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

Generated on 15 Mar 2015 for Coin-All by  doxygen 1.6.1