CVC3
2.4.1
|
Public Member Functions | |
CacheEntry () |
Public Attributes | |
Expr | d_expr |
int | d_rank |
int | d_trust |
Definition at line 26 of file decision_engine_caching.h.
|
inline |
Definition at line 33 of file decision_engine_caching.h.
Expr CVC3::DecisionEngineCaching::CacheEntry::d_expr |
Definition at line 29 of file decision_engine_caching.h.
int CVC3::DecisionEngineCaching::CacheEntry::d_rank |
Definition at line 30 of file decision_engine_caching.h.
int CVC3::DecisionEngineCaching::CacheEntry::d_trust |
Definition at line 31 of file decision_engine_caching.h.