mcrl2/pbes/pbesinst_find_loops.h

Include file:

#include "mcrl2/pbes/pbesinst_find_loops.h"

add your file description here.

Functions

bool mcrl2::pbes_system::detail::find_loop(const simple_structure_graph &G, const vertex_set &U, structure_graph::index_type v, structure_graph::index_type w, std::size_t p, std::unordered_map<structure_graph::index_type, bool> &visited)
void mcrl2::pbes_system::detail::find_loops(const simple_structure_graph &G, const std::unordered_set<propositional_variable_instantiation> &discovered, const pbesinst_lazy_todo &todo, std::array<vertex_set, 2> &S, std::array<strategy_vector, 2> &tau, std::size_t iteration_count, const detail::structure_graph_builder &graph_builder)