CaseCmpExpander.cpp File Reference

Implementation of runCaseCmpExpander. More...

#include "CaseCmpExpander.h"
#include <string>
#include <vector>
#include "having_semantics.hpp"
#include "provsql_utils.h"

Include dependency graph for CaseCmpExpander.cpp:

Go to the source code of this file.

Namespaces
namespace	provsql

Functions
unsigned	provsql::runCaseCmpExpander (GenericCircuit &gc)
	Expand every gate_cmp with a gate_case operand in gc.

Detailed Description

Implementation of runCaseCmpExpander.

See CaseCmpExpander.h.

Definition in file CaseCmpExpander.cpp.