simplification_check::detail Namespace Reference

Functions
void	run (const expr2tc &before, const expr2tc &after)

Function Documentation

run()

void simplification_check::detail::run	(	const expr2tc &	before,
		const expr2tc &	after )