#include <partial_order_reduction.h>

Public Attributes
bool	compute_weak_conditions = false

bool	compute_determinism = true

bool	compute_triangle_accordance = true

bool	compute_left_accordance = true

bool	compute_NES = true

bool	reduction = true

bool	use_condition_L = true

data::rewrite_strategy	rewrite_strategy = data::rewrite_strategy::jitty

bool	use_smt_solver = false

std::chrono::milliseconds	smt_timeout = std::chrono::milliseconds::zero()

Detailed Description

Definition at line 217 of file partial_order_reduction.h.

Member Data Documentation

◆ compute_determinism

bool mcrl2::pbes_system::pbespor_options::compute_determinism = true

Definition at line 222 of file partial_order_reduction.h.

◆ compute_left_accordance

bool mcrl2::pbes_system::pbespor_options::compute_left_accordance = true

Definition at line 226 of file partial_order_reduction.h.

◆ compute_NES

bool mcrl2::pbes_system::pbespor_options::compute_NES = true

Definition at line 228 of file partial_order_reduction.h.

◆ compute_triangle_accordance

bool mcrl2::pbes_system::pbespor_options::compute_triangle_accordance = true

Definition at line 224 of file partial_order_reduction.h.

◆ compute_weak_conditions

bool mcrl2::pbes_system::pbespor_options::compute_weak_conditions = false

Definition at line 220 of file partial_order_reduction.h.

◆ reduction

bool mcrl2::pbes_system::pbespor_options::reduction = true

Definition at line 230 of file partial_order_reduction.h.

◆ rewrite_strategy

data::rewrite_strategy mcrl2::pbes_system::pbespor_options::rewrite_strategy = data::rewrite_strategy::jitty

Definition at line 234 of file partial_order_reduction.h.

◆ smt_timeout

std::chrono::milliseconds mcrl2::pbes_system::pbespor_options::smt_timeout = std::chrono::milliseconds::zero()

Definition at line 237 of file partial_order_reduction.h.

◆ use_condition_L

bool mcrl2::pbes_system::pbespor_options::use_condition_L = true

Definition at line 232 of file partial_order_reduction.h.

◆ use_smt_solver

bool mcrl2::pbes_system::pbespor_options::use_smt_solver = false

Definition at line 236 of file partial_order_reduction.h.

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

pbes/include/mcrl2/pbes/partial_order_reduction.h

Public Attributes