maintain_variables_in_rhs.h File Reference

This class extends a substitution to recall the variables that occur in its right hand side. It assumes the presence of an operation sigma[x]=v to set values of a variable. If sigma[x]=x, this is seen as clearing the variable, and x is not recalled. The variables recalled are an overapproximation. By regular garbage collection the
More...

Go to the source code of this file.

Classes
class	mcrl2::data::maintain_variables_in_rhs< Substitution >
	Wrapper that extends any substitution to a substitution maintaining the vars in its rhs. More...
class	mcrl2::data::maintain_variables_in_rhs< Substitution >::assignment
	Wrapper class for internal storage and substitution updates using operator() More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::data
	Namespace for all data library functionality.

Detailed Description

This class extends a substitution to recall the variables that occur in its right hand side. It assumes the presence of an operation sigma[x]=v to set values of a variable. If sigma[x]=x, this is seen as clearing the variable, and x is not recalled. The variables recalled are an overapproximation. By regular garbage collection the

Definition in file maintain_variables_in_rhs.h.