ESModule Directory Reference

Directory dependency graph for ESModule:

Files
file	ESModule.h [code]
	A module, which iteratively finds boolean and arithmetic substitutions and applies them to all formulas which are connected to this substitution by a conjunction.
file	ESModule.tpp [code]
file	ESSettings.h [code]
file	ESSettingsDefaultInstantiation.cpp [code]
file	ESSettingsLimitSubstitutionInstantiation.cpp [code]