decision_engine_caching.cpp File Reference

Decision Engine. More...

#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.

Defines


Detailed Description

Decision Engine.


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 Documentation

#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().


Generated on Tue Jul 3 14:34:12 2007 for CVC3 by  doxygen 1.5.1