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
using	super = Builder< Derived >

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 1807 of file builder.h.

Member Typedef Documentation

◆ super

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

using mcrl2::state_formulas::add_variables< Builder, Derived >::super = Builder<Derived>

Definition at line 1809 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 1850 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 1882 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 1890 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 1971 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 1980 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 1906 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 1825 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 1898 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 1866 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 1914 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 1946 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 1842 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 2004 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 1938 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 1834 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 1996 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 1858 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 1874 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 2021 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 1930 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 1922 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 1816 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 1988 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 1954 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 1963 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 2011 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