cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Better function name

Browse Source
This commit is contained in:
Mate Soos 2022-07-01 13:02:56 +02:00 committed by chriseth
parent 3073def64d
commit ca3d8b4714
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolutil/CDCL.cpp
View File

@ -243,7 +243,7 @@ std::pair<Clause, size_t> CDCL::analyze(Clause _conflictClause)
else else
{ {
//cout << " adding " << toString(literal) << " @" << variableLevel << " to learnt clause." << endl; //cout << " adding " << toString(literal) << " @" << variableLevel << " to learnt clause." << endl;
vsids_bump_var_act((uint32_t)literal.variable); vsidsBumpVarAct((uint32_t)literal.variable);
learntClause.push_back(literal); learntClause.push_back(literal);
backtrackLevel = max(backtrackLevel, variableLevel); backtrackLevel = max(backtrackLevel, variableLevel);
} }

2
libsolutil/CDCL.h
View File

@ -137,7 +137,7 @@ private:
{ {
m_var_inc_vsids *= (1.0 / m_var_decay); m_var_inc_vsids *= (1.0 / m_var_decay);
} }
void vsids_bump_var_act(const uint32_t var) void vsidsBumpVarAct(const uint32_t var)
{ {
assert(m_activity.size() > var); assert(m_activity.size() > var);
m_activity[var] += m_var_inc_vsids; m_activity[var] += m_var_inc_vsids;