summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-01-02 16:52:33 +0100
committerClifford Wolf <clifford@clifford.at>2014-01-02 16:52:33 +0100
commit249ef8695a77c266434c1716707cf15c061290ab (patch)
tree5f319c68fc0ca376b8d47e8329b2db5dede934f9 /kernel
parente501b8e5c79328095b694ee3f4432f3024ffa598 (diff)
Major rewrite of "freduce" command
Diffstat (limited to 'kernel')
-rw-r--r--kernel/satgen.h8
1 files changed, 3 insertions, 5 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index b04bd619..510240f5 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -35,21 +35,19 @@ typedef ezSAT ezDefaultSAT;
struct SatGen
{
ezSAT *ez;
- RTLIL::Design *design;
SigMap *sigmap;
std::string prefix;
SigPool initial_state;
bool ignore_div_by_zero;
bool model_undef;
- SatGen(ezSAT *ez, RTLIL::Design *design, SigMap *sigmap, std::string prefix = std::string()) :
- ez(ez), design(design), sigmap(sigmap), prefix(prefix), ignore_div_by_zero(false), model_undef(false)
+ SatGen(ezSAT *ez, SigMap *sigmap, std::string prefix = std::string()) :
+ ez(ez), sigmap(sigmap), prefix(prefix), ignore_div_by_zero(false), model_undef(false)
{
}
- void setContext(RTLIL::Design *design, SigMap *sigmap, std::string prefix = std::string())
+ void setContext(SigMap *sigmap, std::string prefix = std::string())
{
- this->design = design;
this->sigmap = sigmap;
this->prefix = prefix;
}