mcrl2/bes/justification.h

Include file:

#include "mcrl2/bes/justification.h"

Printing justification tree.

Functions

void mcrl2::bes::print_justification_tree(const boolean_equation_system &b, const vector<bool> &solution, bool init_solution)

Print a justification tree generated from the full solution of a.

void mcrl2::bes::print_justification_tree_rec(const boolean_equation_system &b, const vector<bool> &solution, const bool init_solution, const map<boolean_variable, std::size_t> &index_of, int indent, const boolean_expression &expr, set<boolean_variable> &visited)

Functions

string mcrl2::bes::detail::get_rest_of_string_after_at_symbol(const string &s)

string mcrl2::bes::detail::get_string_until_at_symbol(const string &s)