artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Reordering, verbosity

Browse Source
This commit is contained in:
Artur Meski
2018-10-20 21:26:01 +01:00
parent 134646308e
commit b0f24e26db
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
symrs.cc
View File

@@ -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();
}
}