#include "decision_engine_caching.h"
#include "theory_core.h"
#include "search.h"
Include dependency graph for decision_engine_caching.cpp:
Go to the source code of this file.
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.
Definition in file decision_engine_caching.cpp.
#define CACHE_SIZE 20 |
Definition at line 27 of file decision_engine_caching.cpp.
Referenced by CVC3::DecisionEngineCaching::goalSatisfied().
#define BASE_TRUST_LEVEL 2 |
Definition at line 28 of file decision_engine_caching.cpp.
Referenced by CVC3::DecisionEngineCaching::isBetter().
#define TURNOVER_RATE 10 |
Definition at line 29 of file decision_engine_caching.cpp.
Referenced by CVC3::DecisionEngineCaching::goalSatisfied().