decision_engine_mbtf.cpp File Reference

Decision Engine. More...

#include "decision_engine_mbtf.h"
#include "theory_core.h"
#include "search.h"

Include dependency graph for decision_engine_mbtf.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_mbtf.cpp.


Define Documentation

#define CACHE_SIZE   20

Definition at line 27 of file decision_engine_mbtf.cpp.

#define BASE_TRUST_LEVEL   2

Definition at line 28 of file decision_engine_mbtf.cpp.

#define TURNOVER_RATE   10

Definition at line 29 of file decision_engine_mbtf.cpp.


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