cprover
cover_goals.cpp File Reference
#include "cover_goals.h"
#include <util/threeval.h>
#include "literal_expr.h"
+ Include dependency graph for cover_goals.cpp:

Go to the source code of this file.

Detailed Description

Cover a set of goals incrementally

Definition in file cover_goals.cpp.