mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::lps::explorer_options Struct Reference

#include <explorer_options.h>

Public Member Functions

 explorer_options ()=default
 
 explorer_options (data::rewrite_strategy rewr_strat)
 
 explorer_options (const explorer_options &other)=default
 
explorer_options & operator= (const explorer_options &other)=default
 

Public Attributes

data::rewrite_strategy rewrite_strategy = data::rewrite_strategy::jitty
 
exploration_strategy search_strategy
 
bool one_point_rule_rewrite = false
 
bool replace_constants_by_variables = false
 
bool remove_unused_rewrite_rules = false
 
bool cached = false
 
bool global_cache = false
 
bool confluence = false
 
bool use_projections = false
 
bool detect_deadlock = false
 
bool detect_nondeterminism = false
 
bool detect_divergence = false
 
bool detect_action = false
 
bool check_probabilities = false
 
bool save_error_trace = false
 
bool generate_traces = false
 
bool suppress_progress_messages = false
 
bool save_at_end = false
 
bool dfs_recursive = false
 
bool discard_lts_state_labels = false
 
bool rewrite_actions = true
 
std::size_t max_states = std::numeric_limits<std::size_t>::max()
 
std::size_t max_traces = 0
 
std::size_t highway_todo_max = std::numeric_limits<std::size_t>::max()
 
std::size_t number_of_threads = 1
 
std::string trace_prefix
 
std::set< core::identifier_string > trace_actions
 
std::set< lps::multi_action > trace_multiactions
 
std::set< core::identifier_string > actions_internal_for_divergencies
 
std::string confluence_action = "ctau"
 

Detailed Description

Definition at line 23 of file explorer_options.h.

Constructor & Destructor Documentation

◆ explorer_options() [1/3]

mcrl2::lps::explorer_options::explorer_options ( )
default

◆ explorer_options() [2/3]

mcrl2::lps::explorer_options::explorer_options ( data::rewrite_strategy  rewr_strat)
inline

Definition at line 65 of file explorer_options.h.

◆ explorer_options() [3/3]

mcrl2::lps::explorer_options::explorer_options ( const explorer_options &  other)
default

Member Function Documentation

◆ operator=()

explorer_options & mcrl2::lps::explorer_options::operator= ( const explorer_options &  other)
default

Member Data Documentation

◆ actions_internal_for_divergencies

std::set<core::identifier_string> mcrl2::lps::explorer_options::actions_internal_for_divergencies

Definition at line 58 of file explorer_options.h.

◆ cached

bool mcrl2::lps::explorer_options::cached = false

Definition at line 30 of file explorer_options.h.

◆ check_probabilities

bool mcrl2::lps::explorer_options::check_probabilities = false

Definition at line 41 of file explorer_options.h.

◆ confluence

bool mcrl2::lps::explorer_options::confluence = false

Definition at line 32 of file explorer_options.h.

◆ confluence_action

std::string mcrl2::lps::explorer_options::confluence_action = "ctau"

Definition at line 59 of file explorer_options.h.

◆ detect_action

bool mcrl2::lps::explorer_options::detect_action = false

Definition at line 40 of file explorer_options.h.

◆ detect_deadlock

bool mcrl2::lps::explorer_options::detect_deadlock = false

Definition at line 37 of file explorer_options.h.

◆ detect_divergence

bool mcrl2::lps::explorer_options::detect_divergence = false

Definition at line 39 of file explorer_options.h.

◆ detect_nondeterminism

bool mcrl2::lps::explorer_options::detect_nondeterminism = false

Definition at line 38 of file explorer_options.h.

◆ dfs_recursive

bool mcrl2::lps::explorer_options::dfs_recursive = false

Definition at line 46 of file explorer_options.h.

◆ discard_lts_state_labels

bool mcrl2::lps::explorer_options::discard_lts_state_labels = false

Definition at line 47 of file explorer_options.h.

◆ generate_traces

bool mcrl2::lps::explorer_options::generate_traces = false

Definition at line 43 of file explorer_options.h.

◆ global_cache

bool mcrl2::lps::explorer_options::global_cache = false

Definition at line 31 of file explorer_options.h.

◆ highway_todo_max

std::size_t mcrl2::lps::explorer_options::highway_todo_max = std::numeric_limits<std::size_t>::max()

Definition at line 53 of file explorer_options.h.

◆ max_states

std::size_t mcrl2::lps::explorer_options::max_states = std::numeric_limits<std::size_t>::max()

Definition at line 51 of file explorer_options.h.

◆ max_traces

std::size_t mcrl2::lps::explorer_options::max_traces = 0

Definition at line 52 of file explorer_options.h.

◆ number_of_threads

std::size_t mcrl2::lps::explorer_options::number_of_threads = 1

Definition at line 54 of file explorer_options.h.

◆ one_point_rule_rewrite

bool mcrl2::lps::explorer_options::one_point_rule_rewrite = false

Definition at line 27 of file explorer_options.h.

◆ remove_unused_rewrite_rules

bool mcrl2::lps::explorer_options::remove_unused_rewrite_rules = false

Definition at line 29 of file explorer_options.h.

◆ replace_constants_by_variables

bool mcrl2::lps::explorer_options::replace_constants_by_variables = false

Definition at line 28 of file explorer_options.h.

◆ rewrite_actions

bool mcrl2::lps::explorer_options::rewrite_actions = true

Definition at line 48 of file explorer_options.h.

◆ rewrite_strategy

data::rewrite_strategy mcrl2::lps::explorer_options::rewrite_strategy = data::rewrite_strategy::jitty

Definition at line 25 of file explorer_options.h.

◆ save_at_end

bool mcrl2::lps::explorer_options::save_at_end = false

Definition at line 45 of file explorer_options.h.

◆ save_error_trace

bool mcrl2::lps::explorer_options::save_error_trace = false

Definition at line 42 of file explorer_options.h.

◆ search_strategy

exploration_strategy mcrl2::lps::explorer_options::search_strategy

Definition at line 26 of file explorer_options.h.

◆ suppress_progress_messages

bool mcrl2::lps::explorer_options::suppress_progress_messages = false

Definition at line 44 of file explorer_options.h.

◆ trace_actions

std::set<core::identifier_string> mcrl2::lps::explorer_options::trace_actions

Definition at line 56 of file explorer_options.h.

◆ trace_multiactions

std::set<lps::multi_action> mcrl2::lps::explorer_options::trace_multiactions

Definition at line 57 of file explorer_options.h.

◆ trace_prefix

std::string mcrl2::lps::explorer_options::trace_prefix

Definition at line 55 of file explorer_options.h.

◆ use_projections

bool mcrl2::lps::explorer_options::use_projections = false

Definition at line 33 of file explorer_options.h.

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