mcrl2/pbes/pbes_solver_test.h

Include file:

#include "mcrl2/pbes/pbes_solver_test.h"

This file contains a simple solver for pbesses. This solver is mainly intended for testing purposes.

Functions

bool mcrl2::pbes_system::alternative_lazy_algorithm_test(pbes &pbes_spec, const bool expected_outcome, const transformation_strategy trans_strat, const search_strategy search_strat, const data::rewriter::strategy rewrite_strategy)

bool mcrl2::pbes_system::pbes2_bool_test(pbes &pbes_spec, const bool expected_outcome, data::rewriter::strategy rewrite_strategy = data::jitty)

bool mcrl2::pbes_system::pbes_instantiation_test_algorithm_test(pbes &pbes_spec, const bool expected_outcome, const data::rewriter::strategy rewrite_strategy)