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.
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.
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.
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 808 of file pbes_expression.h.

data_arg()

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 825 of file pbes_expression.h.

data_left()

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 853 of file pbes_expression.h.

data_right()

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 878 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 843 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 904 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 914 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 869 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 894 of file pbes_expression.h.