#include <pbessolve_options.h>

Public Attributes
data::rewrite_strategy	rewrite_strategy = data::rewrite_strategy::jitty

bool	replace_constants_by_variables = false

bool	remove_unused_rewrite_rules = false

bool	prune_todo_list = false

search_strategy	exploration_strategy = search_strategy::breadth_first

partial_solve_strategy	optimization = partial_solve_strategy::no_optimisation

bool	prune_and_solve_frequently = false

bool	aggressive = false

bool	naive_counter_example_instantiation = false

bool	check_strategy = false

std::size_t	number_of_threads = 1

Detailed Description

Definition at line 59 of file pbessolve_options.h.

Member Data Documentation

◆ aggressive

bool mcrl2::pbes_system::pbessolve_options::aggressive = false

Definition at line 71 of file pbessolve_options.h.

◆ check_strategy

bool mcrl2::pbes_system::pbessolve_options::check_strategy = false

Definition at line 77 of file pbessolve_options.h.

◆ exploration_strategy

search_strategy mcrl2::pbes_system::pbessolve_options::exploration_strategy = search_strategy::breadth_first

Definition at line 65 of file pbessolve_options.h.

◆ naive_counter_example_instantiation

bool mcrl2::pbes_system::pbessolve_options::naive_counter_example_instantiation = false

Definition at line 74 of file pbessolve_options.h.

◆ number_of_threads

std::size_t mcrl2::pbes_system::pbessolve_options::number_of_threads = 1

Definition at line 79 of file pbessolve_options.h.

◆ optimization

partial_solve_strategy mcrl2::pbes_system::pbessolve_options::optimization = partial_solve_strategy::no_optimisation

Definition at line 66 of file pbessolve_options.h.

◆ prune_and_solve_frequently

bool mcrl2::pbes_system::pbessolve_options::prune_and_solve_frequently = false

Definition at line 69 of file pbessolve_options.h.

◆ prune_todo_list

bool mcrl2::pbes_system::pbessolve_options::prune_todo_list = false

Definition at line 64 of file pbessolve_options.h.

◆ remove_unused_rewrite_rules

bool mcrl2::pbes_system::pbessolve_options::remove_unused_rewrite_rules = false

Definition at line 63 of file pbessolve_options.h.

◆ replace_constants_by_variables

bool mcrl2::pbes_system::pbessolve_options::replace_constants_by_variables = false

Definition at line 62 of file pbessolve_options.h.

◆ rewrite_strategy

data::rewrite_strategy mcrl2::pbes_system::pbessolve_options::rewrite_strategy = data::rewrite_strategy::jitty

Definition at line 61 of file pbessolve_options.h.

The documentation for this struct was generated from the following file:

pbes/include/mcrl2/pbes/pbessolve_options.h

Public Attributes