is_linear.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::process::detail::linear_process_expression_traverser
	Checks if a process equation is linear. Use the is_linear() member function for this. More...
struct	mcrl2::process::detail::linear_process_expression_traverser::non_linear_process_error
	Exception that is thrown by linear_process_expression_traverser. More...

Namespaces
namespace	mcrl2
namespace	mcrl2::process
	The main namespace for the Process library.
namespace	mcrl2::process::detail

Functions
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::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::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_multiaction (const process_expression &x)
	Returns true if the argument is a multi-action.
bool	mcrl2::process::detail::is_timed_multiaction (const process_expression &x)
	Returns true if the argument is a multi-action.
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_conditional_deadlock (const process_expression &x)
	Returns true if the argument is a conditional deadlock.
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_alternative (const process_expression &x)
	Returns true if the argument is an alternative composition.
bool	mcrl2::process::detail::is_linear_process_term (const process_expression &x)
	Returns true if the argument is a linear process.
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.

Detailed Description

add your file description here.

Definition in file is_linear.h.