Definition at line 26 of file decision_engine_caching.h.
CVC3::DecisionEngineCaching::DecisionEngineCaching::CacheEntry::CacheEntry | ( | ) | [inline] |
Definition at line 33 of file decision_engine_caching.h.
Expr CVC3::DecisionEngineCaching::DecisionEngineCaching::CacheEntry::d_expr |
Definition at line 29 of file decision_engine_caching.h.
int CVC3::DecisionEngineCaching::DecisionEngineCaching::CacheEntry::d_rank |
Definition at line 30 of file decision_engine_caching.h.
int CVC3::DecisionEngineCaching::DecisionEngineCaching::CacheEntry::d_trust |
Definition at line 31 of file decision_engine_caching.h.