Public Member Functions | |
uint32 & | activity (uint32 globalDecay) |
VarInfo (VarPos it) | |
Public Attributes | |
uint32 | activity_ |
uint32 | decay_ |
int32 | occ_ |
VarPos | pos_ |
Definition at line 194 of file heuristics.h.
Clasp::ClaspVmtf::VarInfo::VarInfo | ( | VarPos | it | ) | [inline] |
Definition at line 195 of file heuristics.h.
uint32& Clasp::ClaspVmtf::VarInfo::activity | ( | uint32 | globalDecay | ) | [inline] |
Definition at line 200 of file heuristics.h.
Definition at line 197 of file heuristics.h.
Definition at line 199 of file heuristics.h.
Definition at line 198 of file heuristics.h.
Definition at line 196 of file heuristics.h.