mcrl2/pbes/pbesinst_partial_solve.h

Include file:

#include "mcrl2/pbes/pbesinst_partial_solve.h"

add your file description here.

Functions

void mcrl2::pbes_system::detail::partial_solve(structure_graph &G, const pbesinst_lazy_todo &todo, std::array<vertex_set, 2> &S, std::array<strategy_vector, 2> &tau, std::size_t equation_count, const detail::structure_graph_builder &graph_builder)