equivLaws.h File Reference

Header file for equivalence laws class. More...

#include "expression.h"
#include <unordered_map>

Go to the source code of this file.

Classes
class	EquivLaws
	Class that handles equivalence laws. More...

Detailed Description

Header file for equivalence laws class.

Definition in file equivLaws.h.