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