#include <unordered_set>
#include "properties.h"
#include <util/message.h>

Include dependency graph for incremental_goto_checker.h:

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

Classes
class	incremental_goto_checkert
	An implementation of `incremental_goto_checkert` provides functionality for checking a set of properties and returning counterexamples one by one to the caller. More...

struct	incremental_goto_checkert::resultt

Detailed Description

Incremental Goto Checker Interface

Classes