12#ifndef MCRL2_PBES_PBESSOLVE_OPTIONS_H
13#define MCRL2_PBES_PBESSOLVE_OPTIONS_H
22namespace pbes_system {
50 out <<
"reset-todo = " << std::boolalpha << options.
prune_todo_list << std::endl;
52 out <<
"optimization = " << options.
optimization << std::endl;
53 out <<
"aggressive = " << std::boolalpha << options.
aggressive << std::endl;
54 out <<
"check-strategy = " << std::boolalpha << options.
check_strategy << std::endl;
add your file description here.
rewrite_strategy
The strategy of the rewriter.
search_strategy
Search strategy when generating a BES from a PBES.
std::ostream & operator<<(std::ostream &os, const absinthe_strategy strategy)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Search strategy when generating a BES from a PBES.
search_strategy exploration_strategy
std::size_t number_of_threads
bool replace_constants_by_variables
bool prune_todo_alternative
data::rewrite_strategy rewrite_strategy
bool remove_unused_rewrite_rules