cover_goals.h File Reference

Cover a set of goals incrementally. More...

#include <list>
#include <solvers/decision_procedure.h>
#include <util/expr.h>

Include dependency graph for cover_goals.h:

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

Go to the source code of this file.

Classes
class	cover_goalst
	Try to cover some given set of goals incrementally. More...
struct	cover_goalst::goalt
class	cover_goalst::observert

Detailed Description

Cover a set of goals incrementally.

Definition in file cover_goals.h.