#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:

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.

Classes