guard_seq.h File Reference

#include <cstddef>
#include <immer/vector.hpp>
#include <immer/memory_policy.hpp>
#include <irep2/irep2_expr.h>

Include dependency graph for guard_seq.h:

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

Go to the source code of this file.

Classes
class	guard_seq
	Oldest-first immutable sequence of guard conjuncts with O(1) copy. More...