#include <pbesstategraph_options.h>

Public Member Functions
bool	timing_enabled () const

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

bool	simplify = true

bool	use_global_variant = false

bool	print_influence_graph = false

bool	cache_marking_updates = false

int	marking_algorithm = 0

bool	use_alternative_lcfp_criterion = false

bool	use_alternative_gcfp_relation = false

bool	use_alternative_gcfp_consistency = false

utilities::execution_timer *	timer = nullptr

Detailed Description

Definition at line 22 of file pbesstategraph_options.h.

Member Function Documentation

◆ timing_enabled()

bool mcrl2::pbes_system::pbesstategraph_options::timing_enabled ( ) const

inline

Definition at line 35 of file pbesstategraph_options.h.

Member Data Documentation

◆ cache_marking_updates

bool mcrl2::pbes_system::pbesstategraph_options::cache_marking_updates = false

Definition at line 28 of file pbesstategraph_options.h.

◆ marking_algorithm

int mcrl2::pbes_system::pbesstategraph_options::marking_algorithm = 0

Definition at line 29 of file pbesstategraph_options.h.

◆ print_influence_graph

bool mcrl2::pbes_system::pbesstategraph_options::print_influence_graph = false

Definition at line 27 of file pbesstategraph_options.h.

◆ rewrite_strategy

data::rewrite_strategy mcrl2::pbes_system::pbesstategraph_options::rewrite_strategy = data::rewrite_strategy::jitty

Definition at line 24 of file pbesstategraph_options.h.

◆ simplify

bool mcrl2::pbes_system::pbesstategraph_options::simplify = true

Definition at line 25 of file pbesstategraph_options.h.

◆ timer

utilities::execution_timer* mcrl2::pbes_system::pbesstategraph_options::timer = nullptr

Definition at line 33 of file pbesstategraph_options.h.

◆ use_alternative_gcfp_consistency

bool mcrl2::pbes_system::pbesstategraph_options::use_alternative_gcfp_consistency = false

Definition at line 32 of file pbesstategraph_options.h.

◆ use_alternative_gcfp_relation

bool mcrl2::pbes_system::pbesstategraph_options::use_alternative_gcfp_relation = false

Definition at line 31 of file pbesstategraph_options.h.

◆ use_alternative_lcfp_criterion

bool mcrl2::pbes_system::pbesstategraph_options::use_alternative_lcfp_criterion = false

Definition at line 30 of file pbesstategraph_options.h.

◆ use_global_variant

bool mcrl2::pbes_system::pbesstategraph_options::use_global_variant = false

Definition at line 26 of file pbesstategraph_options.h.

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

pbes/include/mcrl2/pbes/tools/pbesstategraph_options.h

Public Member Functions

Public Attributes