cache.h File Reference

#include <unordered_set>
#include <goto-symex/equation/ssa_step_algorithm.h>
#include <util/base/time_stopping.h>
#include <util/ssa/cache_defs.h>

Include dependency graph for cache.h:

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

Go to the source code of this file.

Classes
class	assertion_cache
	@Brief This class stores all asserts conditions and guards for a given SSA, if some pair was already added then it will assume that it is UNSAT. More...