mCRL2: mcrl2::state_formulas::add_variables< Builder, Derived > Struct Template Reference

mCRL2

Loading...

Searching...

No Matches

#include <builder.h>

Inheritance diagram for mcrl2::state_formulas::add_variables< Builder, Derived >:

Public Types
typedef Builder< Derived >	super

Public Member Functions
template<class T >
void	apply (T &result, const state_formulas::true_ &x)

template<class T >
void	apply (T &result, const state_formulas::false_ &x)

template<class T >
void	apply (T &result, const state_formulas::not_ &x)

template<class T >
void	apply (T &result, const state_formulas::minus &x)

template<class T >
void	apply (T &result, const state_formulas::and_ &x)

template<class T >
void	apply (T &result, const state_formulas::or_ &x)

template<class T >
void	apply (T &result, const state_formulas::imp &x)

template<class T >
void	apply (T &result, const state_formulas::plus &x)

template<class T >
void	apply (T &result, const state_formulas::const_multiply &x)

template<class T >
void	apply (T &result, const state_formulas::const_multiply_alt &x)

template<class T >
void	apply (T &result, const state_formulas::forall &x)

template<class T >
void	apply (T &result, const state_formulas::exists &x)

template<class T >
void	apply (T &result, const state_formulas::infimum &x)

template<class T >
void	apply (T &result, const state_formulas::supremum &x)

template<class T >
void	apply (T &result, const state_formulas::sum &x)

template<class T >
void	apply (T &result, const state_formulas::must &x)

template<class T >
void	apply (T &result, const state_formulas::may &x)

template<class T >
void	apply (T &result, const state_formulas::yaled &x)

template<class T >
void	apply (T &result, const state_formulas::yaled_timed &x)

template<class T >
void	apply (T &result, const state_formulas::delay &x)

template<class T >
void	apply (T &result, const state_formulas::delay_timed &x)

template<class T >
void	apply (T &result, const state_formulas::variable &x)

template<class T >
void	apply (T &result, const state_formulas::nu &x)

template<class T >
void	apply (T &result, const state_formulas::mu &x)

void	update (state_formulas::state_formula_specification &x)

template<class T >
void	apply (T &result, const state_formulas::state_formula &x)

Detailed Description

template<template< class > class Builder, class Derived>
struct mcrl2::state_formulas::add_variables< Builder, Derived >

Definition at line 1924 of file builder.h.

Member Typedef Documentation

◆ super

template<template< class > class Builder, class Derived >

typedef Builder<Derived> mcrl2::state_formulas::add_variables< Builder, Derived >::super

Definition at line 1926 of file builder.h.

Member Function Documentation

◆ apply() [1/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::and_ &	x
	)

inline

Definition at line 1973 of file builder.h.

◆ apply() [2/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::const_multiply &	x
	)

inline

Definition at line 2009 of file builder.h.

◆ apply() [3/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::const_multiply_alt &	x
	)

inline

Definition at line 2018 of file builder.h.

◆ apply() [4/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::delay &	x
	)

inline

Definition at line 2110 of file builder.h.

◆ apply() [5/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::delay_timed &	x
	)

inline

Definition at line 2121 of file builder.h.

◆ apply() [6/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::exists &	x
	)

inline

Definition at line 2036 of file builder.h.

◆ apply() [7/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::false_ &	x
	)

inline

Definition at line 1944 of file builder.h.

◆ apply() [8/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::forall &	x
	)

inline

Definition at line 2027 of file builder.h.

◆ apply() [9/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::imp &	x
	)

inline

Definition at line 1991 of file builder.h.

◆ apply() [10/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::infimum &	x
	)

inline

Definition at line 2045 of file builder.h.

◆ apply() [11/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::may &	x
	)

inline

Definition at line 2081 of file builder.h.

◆ apply() [12/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::minus &	x
	)

inline

Definition at line 1964 of file builder.h.

◆ apply() [13/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::mu &	x
	)

inline

Definition at line 2148 of file builder.h.

◆ apply() [14/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::must &	x
	)

inline

Definition at line 2072 of file builder.h.

◆ apply() [15/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::not_ &	x
	)

inline

Definition at line 1955 of file builder.h.

◆ apply() [16/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::nu &	x
	)

inline

Definition at line 2139 of file builder.h.

◆ apply() [17/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::or_ &	x
	)

inline

Definition at line 1982 of file builder.h.

◆ apply() [18/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::plus &	x
	)

inline

Definition at line 2000 of file builder.h.

◆ apply() [19/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::state_formula &	x
	)

inline

Definition at line 2166 of file builder.h.

◆ apply() [20/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::sum &	x
	)

inline

Definition at line 2063 of file builder.h.

◆ apply() [21/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::supremum &	x
	)

inline

Definition at line 2054 of file builder.h.

◆ apply() [22/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::true_ &	x
	)

inline

Definition at line 1933 of file builder.h.

◆ apply() [23/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::variable &	x
	)

inline

Definition at line 2130 of file builder.h.

◆ apply() [24/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::yaled &	x
	)

inline

Definition at line 2090 of file builder.h.

◆ apply() [25/25]

template<template< class > class Builder, class Derived >

template<class T >

void mcrl2::state_formulas::add_variables< Builder, Derived >::apply	(	T &	result,
		const state_formulas::yaled_timed &	x
	)

inline

Definition at line 2101 of file builder.h.

◆ update()

template<template< class > class Builder, class Derived >

void mcrl2::state_formulas::add_variables< Builder, Derived >::update ( state_formulas::state_formula_specification & x )

inline

Definition at line 2156 of file builder.h.

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

modal_formula/include/mcrl2/modal_formula/builder.h

mcrl2
state_formulas
add_variables
Generated by 1.9.7