mCRL2
Loading...
Searching...
No Matches
mcrl2::state_formulas::parse_state_formula_options Struct Reference

#include <parse.h>

Public Attributes

bool check_monotonicity = true
 
bool translate_regular_formulas = true
 
bool type_check = true
 
bool translate_user_notation = true
 
bool resolve_name_clashes = true
 

Detailed Description

Definition at line 98 of file parse.h.

Member Data Documentation

◆ check_monotonicity

bool mcrl2::state_formulas::parse_state_formula_options::check_monotonicity = true

Definition at line 100 of file parse.h.

◆ resolve_name_clashes

bool mcrl2::state_formulas::parse_state_formula_options::resolve_name_clashes = true

Definition at line 104 of file parse.h.

◆ translate_regular_formulas

bool mcrl2::state_formulas::parse_state_formula_options::translate_regular_formulas = true

Definition at line 101 of file parse.h.

◆ translate_user_notation

bool mcrl2::state_formulas::parse_state_formula_options::translate_user_notation = true

Definition at line 103 of file parse.h.

◆ type_check

bool mcrl2::state_formulas::parse_state_formula_options::type_check = true

Definition at line 102 of file parse.h.


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