cegis_evaluator.cpp File Reference

Evaluate if an expression is consistent with examples. More...

#include "cegis_evaluator.h"
#include <util/arith_tools.h>
#include <util/format_expr.h>

Include dependency graph for cegis_evaluator.cpp:

Go to the source code of this file.

Detailed Description

Evaluate if an expression is consistent with examples.

Definition in file cegis_evaluator.cpp.