From b0f24e26db0b30cfc9301f039468b6575e42e4b5 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sat, 20 Oct 2018 21:26:01 +0100 Subject: [PATCH] Reordering, verbosity --- symrs.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/symrs.cc b/symrs.cc index 235bd1f..ebf8ec3 100644 --- a/symrs.cc +++ b/symrs.cc @@ -34,8 +34,6 @@ SymRS::SymRS(RctSys *rs, Options *opts) pv_ca_succ = nullptr; tr_ca = nullptr; - rs->ctx_aut->makeProgressive(); - encode(); } @@ -925,7 +923,7 @@ BDD SymRS::encCtxAutState_raw(State state_id, bool succ) const BDD SymRS::getEncCtxAutInitState(void) { - VERB_LN(2, "Encoding context automaton's initial state"); + VERB_LN(1, "Encoding context automaton's initial state"); State state = rs->ctx_aut->getInitState(); @@ -934,7 +932,7 @@ BDD SymRS::getEncCtxAutInitState(void) void SymRS::encodeCtxAutTrans(void) { - VERB_LN(2, "Encoding context automaton's transition relation"); + VERB_LN(1, "Encoding context automaton's transition relation"); if (tr_ca != nullptr) { VERB_LN(1, "Encoding for context automaton already present, not replacing") @@ -956,6 +954,8 @@ void SymRS::encodeCtxAutTrans(void) BDD new_trans = enc_src * enc_drs_state * enc_ctx * enc_dst; *tr_ca += new_trans; + + reorder(); } }