LiteralFactorizationIterator(LiteralFactorization *literal_factorization, LiteralFactorization::map_type::const_iterator var2const_iter, LiteralFactorization::var2var_map_type::const_iterator var2var_iter) | LiteralFactorizationIterator | [inline] |
operator!=(const self &other) | LiteralFactorizationIterator | [inline] |
operator*() const | LiteralFactorizationIterator | |
operator++() | LiteralFactorizationIterator | |
operator==(const self &other) | LiteralFactorizationIterator | [inline] |
self typedef | LiteralFactorizationIterator | |
var2const_iter | LiteralFactorizationIterator | |
var2var_iter | LiteralFactorizationIterator |