80 std::pair<mappingt::iterator, bool> result =
87 map_entry.
type = type;
89 for(
const auto &literal : literals)
92 literal.is_constant() || literal.var_no() <
prop.no_variables(),
93 "variable number of non-constant literals shall be within bounds");
100 for(
auto it = literals.begin(); it != literals.end(); ++it)
106 "variable number of non-constant literals shall be within bounds");
108 const std::size_t bit = it - literals.begin();
111 bit < map_entry.
literal_map.size(),
"bit index shall be within bounds");
std::string get_value(const propt &) const