value_is_ok       221 src/search_full.cpp    ASSERT(value_is_ok(value));
value_is_ok       327 src/search_full.cpp    ASSERT(value_is_ok(best_value));
value_is_ok       666 src/search_full.cpp    ASSERT(value_is_ok(best_value));
value_is_ok       779 src/search_full.cpp    ASSERT(value_is_ok(best_value));
value_is_ok       961 src/search_full.cpp    ASSERT(value_is_ok(best_value));
value_is_ok        58 src/value.cpp     if (!value_is_ok(min)) return false;
value_is_ok        59 src/value.cpp     if (!value_is_ok(max)) return false;
value_is_ok        70 src/value.cpp     ASSERT(value_is_ok(value));
value_is_ok        81 src/value.cpp     ASSERT(value_is_ok(value));
value_is_ok        90 src/value.cpp     ASSERT(value_is_ok(value));
value_is_ok        99 src/value.cpp     ASSERT(value_is_ok(value));
value_is_ok       108 src/value.cpp     ASSERT(value_is_ok(value));
value_is_ok       119 src/value.cpp     ASSERT(value_is_ok(value));
value_is_ok        40 src/value.h    extern bool value_is_ok      (int value);