mcrl2/process/is_linear.h

Include file:

#include "mcrl2/process/is_linear.h"

add your file description here.

Classes

  • mcrl2::process::detail::linear_process_expression_traverser
  • mcrl2::process::detail::linear_process_expression_traverser::non_linear_process_error

Functions

bool mcrl2::process::is_linear(const process_specification &p, bool verbose = false)

Returns true if the process specification is linear.

bool mcrl2::process::is_linear(const process_equation &eqn)

Returns true if the process equation is linear.

bool mcrl2::process::is_linear(const process_expression &x, const process_equation &eqn)

Returns true if the process expression is linear.

Parameters:

  • x A process expression.
  • eqn The linear equation belonging to the indicated process.

Functions

bool mcrl2::process::detail::check_process_instance(const process_equation &eq, const process_instance &init)

Returns true if the process instance a matches with the process equation eq.

bool mcrl2::process::detail::check_process_instance_assignment(const process_equation &eq, const process_instance_assignment &inst)

Returns true if the process instance assignment a matches with the process equation eq.

bool mcrl2::process::detail::is_action_prefix(const process_expression &x)

Returns true if the argument is an action prefix.

bool mcrl2::process::detail::is_alternative(const process_expression &x)

Returns true if the argument is an alternative composition.

bool mcrl2::process::detail::is_conditional_action_prefix(const process_expression &x)

Returns true if the argument is a conditional action prefix.

bool mcrl2::process::detail::is_conditional_deadlock(const process_expression &x)

Returns true if the argument is a conditional deadlock.

bool mcrl2::process::detail::is_linear_process_term(const process_expression &x)

Returns true if the argument is a linear process.

bool mcrl2::process::detail::is_multiaction(const process_expression &x)

Returns true if the argument is a multi-action.

bool mcrl2::process::detail::is_process(const process_expression &x)

Returns true if the argument is a process instance.

bool mcrl2::process::detail::is_stochastic_process(const process_expression &x)

Returns true if the argument is a process instance, optionally wrapped in a stochastic distribution.

bool mcrl2::process::detail::is_timed_deadlock(const process_expression &x)

Returns true if the argument is a deadlock.

bool mcrl2::process::detail::is_timed_multiaction(const process_expression &x)

Returns true if the argument is a multi-action.