cegis_evaluator.h File Reference

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

#include "cegis_verifier.h"

Include dependency graph for cegis_evaluator.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	cegis_evaluatort
	Evaluator for checking if an expression is consistent with a given set of test cases (positive examples and negative examples). More...

Detailed Description

Evaluate if an expression is consistent with examples.

Definition in file cegis_evaluator.h.