Public Member Functions | Public Attributes
Clasp::ClaspVmtf::VarInfo Struct Reference

List of all members.

Public Member Functions

uint32 & activity (uint32 globalDecay)
 VarInfo (VarPos it)

Public Attributes

uint32 activity_
uint32 decay_
int32 occ_
VarPos pos_

Detailed Description

Definition at line 194 of file heuristics.h.


Constructor & Destructor Documentation

Definition at line 195 of file heuristics.h.


Member Function Documentation

uint32& Clasp::ClaspVmtf::VarInfo::activity ( uint32  globalDecay) [inline]

Definition at line 200 of file heuristics.h.


Member Data Documentation

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.


The documentation for this struct was generated from the following file:


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40