Options for linearisation. More...

#include <linearise.h>

Public Member Functions
	t_lin_options ()

Public Attributes
t_lin_method	lin_method

bool	no_intermediate_cluster

bool	final_cluster

bool	newstate

bool	binary

bool	statenames

bool	norewrite

bool	noglobalvars

bool	nosumelm

bool	nodeltaelimination

bool	ignore_time

bool	do_not_apply_constelm

bool	apply_alphabet_axioms

bool	balance_summands

mcrl2::data::rewriter::strategy	rewrite_strategy

Detailed Description

Options for linearisation.

Definition at line 27 of file linearise.h.

Constructor & Destructor Documentation

◆ t_lin_options()

mcrl2::lps::t_lin_options::t_lin_options ( )

inline

Definition at line 46 of file linearise.h.

Member Data Documentation

◆ apply_alphabet_axioms

bool mcrl2::lps::t_lin_options::apply_alphabet_axioms

Definition at line 41 of file linearise.h.

◆ balance_summands

bool mcrl2::lps::t_lin_options::balance_summands

Definition at line 42 of file linearise.h.

◆ binary

bool mcrl2::lps::t_lin_options::binary

Definition at line 33 of file linearise.h.

◆ do_not_apply_constelm

bool mcrl2::lps::t_lin_options::do_not_apply_constelm

Definition at line 40 of file linearise.h.

◆ final_cluster

bool mcrl2::lps::t_lin_options::final_cluster

Definition at line 31 of file linearise.h.

◆ ignore_time

bool mcrl2::lps::t_lin_options::ignore_time

Definition at line 39 of file linearise.h.

◆ lin_method

t_lin_method mcrl2::lps::t_lin_options::lin_method

Definition at line 29 of file linearise.h.

◆ newstate

bool mcrl2::lps::t_lin_options::newstate

Definition at line 32 of file linearise.h.

◆ no_intermediate_cluster

bool mcrl2::lps::t_lin_options::no_intermediate_cluster

Definition at line 30 of file linearise.h.

◆ nodeltaelimination

bool mcrl2::lps::t_lin_options::nodeltaelimination

Definition at line 38 of file linearise.h.

◆ noglobalvars

bool mcrl2::lps::t_lin_options::noglobalvars

Definition at line 36 of file linearise.h.

◆ norewrite

bool mcrl2::lps::t_lin_options::norewrite

Definition at line 35 of file linearise.h.

◆ nosumelm

bool mcrl2::lps::t_lin_options::nosumelm

Definition at line 37 of file linearise.h.

◆ rewrite_strategy

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

Definition at line 44 of file linearise.h.

◆ statenames

bool mcrl2::lps::t_lin_options::statenames

Definition at line 34 of file linearise.h.

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

lps/include/mcrl2/lps/linearise.h

Public Member Functions

Public Attributes