Options for linearisation. More...

#include <linearise.h>

Public Attributes
t_lin_method	lin_method = t_lin_method::lmRegular

bool	no_intermediate_cluster = false

bool	final_cluster = false

bool	newstate = false

bool	binary = false

bool	statenames = false

bool	norewrite = false

bool	noglobalvars = false

bool	nosumelm = false

bool	nodeltaelimination = false

bool	ignore_time = false

bool	do_not_apply_constelm = false

bool	apply_alphabet_axioms = false

bool	balance_summands = false

mcrl2::data::rewriter::strategy	rewrite_strategy = mcrl2::data::rewrite_strategy::jitty

Detailed Description

Options for linearisation.

Definition at line 24 of file linearise.h.

Member Data Documentation

◆ apply_alphabet_axioms

bool mcrl2::lps::t_lin_options::apply_alphabet_axioms = false

Definition at line 38 of file linearise.h.

◆ balance_summands

bool mcrl2::lps::t_lin_options::balance_summands = false

Definition at line 39 of file linearise.h.

◆ binary

bool mcrl2::lps::t_lin_options::binary = false

Definition at line 30 of file linearise.h.

◆ do_not_apply_constelm

bool mcrl2::lps::t_lin_options::do_not_apply_constelm = false

Definition at line 37 of file linearise.h.

◆ final_cluster

bool mcrl2::lps::t_lin_options::final_cluster = false

Definition at line 28 of file linearise.h.

◆ ignore_time

bool mcrl2::lps::t_lin_options::ignore_time = false

Definition at line 36 of file linearise.h.

◆ lin_method

t_lin_method mcrl2::lps::t_lin_options::lin_method = t_lin_method::lmRegular

Definition at line 26 of file linearise.h.

◆ newstate

bool mcrl2::lps::t_lin_options::newstate = false

Definition at line 29 of file linearise.h.

◆ no_intermediate_cluster

bool mcrl2::lps::t_lin_options::no_intermediate_cluster = false

Definition at line 27 of file linearise.h.

◆ nodeltaelimination

bool mcrl2::lps::t_lin_options::nodeltaelimination = false

Definition at line 35 of file linearise.h.

◆ noglobalvars

bool mcrl2::lps::t_lin_options::noglobalvars = false

Definition at line 33 of file linearise.h.

◆ norewrite

bool mcrl2::lps::t_lin_options::norewrite = false

Definition at line 32 of file linearise.h.

◆ nosumelm

bool mcrl2::lps::t_lin_options::nosumelm = false

Definition at line 34 of file linearise.h.

◆ rewrite_strategy

mcrl2::data::rewriter::strategy mcrl2::lps::t_lin_options::rewrite_strategy = mcrl2::data::rewrite_strategy::jitty

Definition at line 41 of file linearise.h.

◆ statenames

bool mcrl2::lps::t_lin_options::statenames = false

Definition at line 31 of file linearise.h.

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

lps/include/mcrl2/lps/linearise.h

Public Attributes