mcrl2::pbes_system::accessors Namespace Reference

The namespace for accessor functions on pbes expressions. More...

Functions
const pbes_expression &	arg (const pbes_expression &t)
	Returns the pbes expression argument of expressions of type not, exists and forall.
const pbes_expression &	data_arg (const pbes_expression &t)
	Returns the pbes expression argument of expressions of type not, exists and forall.
const pbes_expression &	left (const pbes_expression &t)
	Returns the left hand side of an expression of type and, or or imp.
const pbes_expression &	data_left (const pbes_expression &x)
	Returns the left hand side of an expression of type and, or or imp.
const pbes_expression &	right (const pbes_expression &t)
	Returns the right hand side of an expression of type and, or or imp.
const pbes_expression &	data_right (const pbes_expression &x)
	Returns the left hand side of an expression of type and, or or imp.
const data::variable_list &	var (const pbes_expression &t)
	Returns the variables of a quantification expression.
const core::identifier_string &	name (const pbes_expression &t)
	Returns the name of a propositional variable expression.
const data::data_expression_list &	param (const pbes_expression &t)
	Returns the parameters of a propositional variable instantiation.

Detailed Description

The namespace for accessor functions on pbes expressions.

Function Documentation

arg()

const pbes_expression & mcrl2::pbes_system::accessors::arg ( const pbes_expression &  t )

inline

Returns the pbes expression argument of expressions of type not, exists and forall.

Parameters

t	A PBES expression

Returns

The pbes expression argument of expressions of type not, exists and forall.

Definition at line 799 of file pbes_expression.h.

data_arg()

const pbes_expression & mcrl2::pbes_system::accessors::data_arg ( const pbes_expression &  t )

inline

Returns the pbes expression argument of expressions of type not, exists and forall.

Parameters

t	A PBES expression or a data expression

Returns

The pbes expression argument of expressions of type not, exists and forall.

Definition at line 816 of file pbes_expression.h.

data_left()

const pbes_expression & mcrl2::pbes_system::accessors::data_left ( const pbes_expression &  x )

inline

Returns the left hand side of an expression of type and, or or imp.

Parameters

x	A PBES expression or a data expression

Returns

The left hand side of an expression of type and, or or imp.

Definition at line 844 of file pbes_expression.h.

data_right()

const pbes_expression & mcrl2::pbes_system::accessors::data_right ( const pbes_expression &  x )

inline

Returns the left hand side of an expression of type and, or or imp.

Parameters

x	A PBES expression or a data expression

Returns

The left hand side of an expression of type and, or or imp.

Definition at line 869 of file pbes_expression.h.

left()

const pbes_expression & mcrl2::pbes_system::accessors::left ( const pbes_expression &  t )

inline

Returns the left hand side of an expression of type and, or or imp.

Parameters

t	A PBES expression

Returns

The left hand side of an expression of type and, or or imp.

Definition at line 834 of file pbes_expression.h.

name()

const core::identifier_string & mcrl2::pbes_system::accessors::name ( const pbes_expression &  t )

inline

Returns the name of a propositional variable expression.

Parameters

t	A PBES expression

Returns

The name of a propositional variable expression

Definition at line 895 of file pbes_expression.h.

param()

const data::data_expression_list & mcrl2::pbes_system::accessors::param ( const pbes_expression &  t )

inline

Returns the parameters of a propositional variable instantiation.

Parameters

t	A PBES expression

Returns

The parameters of a propositional variable instantiation.

Definition at line 905 of file pbes_expression.h.

right()

const pbes_expression & mcrl2::pbes_system::accessors::right ( const pbes_expression &  t )

inline

Returns the right hand side of an expression of type and, or or imp.

Parameters

t	A PBES expression

Returns

The right hand side of an expression of type and, or or imp.

Definition at line 860 of file pbes_expression.h.

var()

const data::variable_list & mcrl2::pbes_system::accessors::var ( const pbes_expression &  t )

inline

Returns the variables of a quantification expression.

Parameters

t	A PBES expression

Returns

The variables of a quantification expression

Definition at line 885 of file pbes_expression.h.