ts_step_renamert Class Reference

Instantiates expressions at one step, sharing the rewrite across calls so subterms common to several expressions are copied once. More...

#include <transition_system.h>

Public Member Functions
	ts_step_renamert (const transition_systemt &ts, unsigned step)
expr2tc	operator() (const expr2tc &e)

Detailed Description

Instantiates expressions at one step, sharing the rewrite across calls so subterms common to several expressions are copied once.

Constructor & Destructor Documentation

ts_step_renamert()

ts_step_renamert::ts_step_renamert	(	const transition_systemt &	ts,
		unsigned	step )

Member Function Documentation

operator()()

expr2tc ts_step_renamert::operator()

(

const expr2tc &

e

)

---

The documentation for this class was generated from the following files:

• src/transition-system/transition_system.h
• src/transition-system/transition_system.cpp