Public Types | |
enum | merge_type : int { attach , detach } |
typedef prempo_map_t::value_type | prempo_elem_t |
typedef std::multimap< std::pair< prempo_key_t, prempo_key_t >, std::vector< sso_scale_t >, Toolkit::pair_less< std::pair< prempo_key_t, prempo_key_t >, 2 > > | prempo_map_t |
Public Member Functions | |
mpo_descriptor | construct () |
mpo_constructor (const Model &model) | |
Private Member Functions | |
void | addFourTerms () |
void | addOneTerms () |
void | addThreeTerms () |
void | addTwoTerms () |
void | initialize () |
void | insertFilling (int i, int j, const prempo_key_t &k, bool trivialFill) |
void | insertFilling (int i, int j, const prempo_key_t &k, bool trivialFill, const std::vector< pos_op_t > &right) |
prempo_key_t | insertOperator (int p, const std::pair< prempo_key_t, prempo_key_t > &kk, const sso_scale_t &val, merge_type mergeKind=detach) |
Private Attributes | |
int | filling_index_ |
int | identity_index_ |
int | length_ |
const Model & | model_ |
std::vector< prempo_map_t > | prempo_ |
const prempo_key_t | trivial_left_ |
const prempo_key_t | trivial_right_ |