|
sort_expression_substitution_map | parse_sort_expression_mapping (const std::string &text, const data::data_specification &dataspec) |
|
void | parse_right_hand_sides (const std::string &text, data::data_specification &dataspec) |
|
function_symbol_substitution_map | parse_function_symbol_mapping (const std::string &text, const data::data_specification &dataspec) |
|
abstraction_map | parse_abstraction_map (const std::string &text) |
|
template<typename Map > |
std::string | print_mapping (const Map &m) |
|
void | check_consistency (const data::sort_expression &s, const data::sort_expression &t, const data::function_symbol &f, sort_expression_substitution_map &sigmaS) const |
|
void | check_consistency (const data::function_symbol &f1, const data::function_symbol &f2, sort_expression_substitution_map &sigmaS) const |
|
void | lift_data_specification (const pbes &p, const abstraction_map &sigmaH, const sort_expression_substitution_map &sigmaS, function_symbol_substitution_map &sigmaF, data::data_specification &dataspec) |
|
void | print_fsvec (const data::function_symbol_vector &v, const std::string &msg) const |
|
void | print_fsmap (const function_symbol_substitution_map &v, const std::string &msg) const |
|
void | enable_logging () |
|
void | run (pbes &p, const std::string &abstraction_text, bool is_over_approximation) |
|
Definition at line 122 of file absinthe.h.