#include <pbesstategraph_options.h>

Public Member Functions
	pbesstategraph_options ()

bool	timing_enabled () const

Public Attributes
data::rewrite_strategy	rewrite_strategy

bool	simplify

bool	use_global_variant

bool	print_influence_graph

bool	cache_marking_updates

int	marking_algorithm

bool	use_alternative_lcfp_criterion

bool	use_alternative_gcfp_relation

bool	use_alternative_gcfp_consistency

utilities::execution_timer *	timer

Detailed Description

Definition at line 22 of file pbesstategraph_options.h.

Constructor & Destructor Documentation

◆ pbesstategraph_options()

mcrl2::pbes_system::pbesstategraph_options::pbesstategraph_options ( )

inline

Definition at line 35 of file pbesstategraph_options.h.

Member Function Documentation

◆ timing_enabled()

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

inline

Definition at line 48 of file pbesstategraph_options.h.

Member Data Documentation

◆ cache_marking_updates

bool mcrl2::pbes_system::pbesstategraph_options::cache_marking_updates

Definition at line 28 of file pbesstategraph_options.h.

◆ marking_algorithm

int mcrl2::pbes_system::pbesstategraph_options::marking_algorithm

Definition at line 29 of file pbesstategraph_options.h.

◆ print_influence_graph

bool mcrl2::pbes_system::pbesstategraph_options::print_influence_graph

Definition at line 27 of file pbesstategraph_options.h.

◆ rewrite_strategy

data::rewrite_strategy mcrl2::pbes_system::pbesstategraph_options::rewrite_strategy

Definition at line 24 of file pbesstategraph_options.h.

◆ simplify

bool mcrl2::pbes_system::pbesstategraph_options::simplify

Definition at line 25 of file pbesstategraph_options.h.

◆ timer

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

Definition at line 33 of file pbesstategraph_options.h.

◆ use_alternative_gcfp_consistency

bool mcrl2::pbes_system::pbesstategraph_options::use_alternative_gcfp_consistency

Definition at line 32 of file pbesstategraph_options.h.

◆ use_alternative_gcfp_relation

bool mcrl2::pbes_system::pbesstategraph_options::use_alternative_gcfp_relation

Definition at line 31 of file pbesstategraph_options.h.

◆ use_alternative_lcfp_criterion

bool mcrl2::pbes_system::pbesstategraph_options::use_alternative_lcfp_criterion

Definition at line 30 of file pbesstategraph_options.h.

◆ use_global_variant

bool mcrl2::pbes_system::pbesstategraph_options::use_global_variant

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