#include <pbessolve_options.h>

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

bool	replace_constants_by_variables = false

bool	remove_unused_rewrite_rules = false

bool	prune_todo_list = false

search_strategy	exploration_strategy = breadth_first

int	optimization = 0

bool	aggressive = false

bool	check_strategy = false

bool	prune_todo_alternative = false

std::size_t	number_of_threads = 1

Detailed Description

Definition at line 24 of file pbessolve_options.h.

Member Data Documentation

◆ aggressive

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

Definition at line 34 of file pbessolve_options.h.

◆ check_strategy

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

Definition at line 37 of file pbessolve_options.h.

◆ exploration_strategy

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

Definition at line 30 of file pbessolve_options.h.

◆ number_of_threads

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

Definition at line 41 of file pbessolve_options.h.

◆ optimization

int mcrl2::pbes_system::pbessolve_options::optimization = 0

Definition at line 31 of file pbessolve_options.h.

◆ prune_todo_alternative

bool mcrl2::pbes_system::pbessolve_options::prune_todo_alternative = false

Definition at line 39 of file pbessolve_options.h.

◆ prune_todo_list

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

Definition at line 29 of file pbessolve_options.h.

◆ remove_unused_rewrite_rules

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

Definition at line 28 of file pbessolve_options.h.

◆ replace_constants_by_variables

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

Definition at line 27 of file pbessolve_options.h.

◆ rewrite_strategy

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

Definition at line 26 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