simplification.h File Reference

#include "hal_core/netlist/boolean_function.h"
#include "hal_core/utilities/result.h"
#include <string>

Include dependency graph for simplification.h:

Go to the source code of this file.

Namespaces
	hal
	hal::Simplification

Functions
Result< BooleanFunction >	hal::Simplification::local_simplification (const BooleanFunction &function)
Result< BooleanFunction >	hal::Simplification::abc_simplification (const BooleanFunction &function)