synthesis_evaluation.hpp File Reference

#include "evaluation_base_step.hpp"
#include "refcount.hpp"

Include dependency graph for synthesis_evaluation.hpp:

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

Go to the source code of this file.

Data Structures
class	SynthesisEvaluation
	superclass include More...

Detailed Description

Author

Christian Pilato pilat.nosp@m.o@el.nosp@m.et.po.nosp@m.limi.nosp@m..it $Revision$ $Date$ Last modified by $Author$

Definition in file synthesis_evaluation.hpp.