irep2_guard.cpp File Reference

#include <algorithm>
#include <unordered_set>
#include <vector>
#include <irep2/irep2_guard.h>
#include <irep2/irep2_utils.h>

Include dependency graph for irep2_guard.cpp:

Functions
guard2tc &	operator-= (guard2tc &g1, const guard2tc &g2)
guard2tc &	operator|= (guard2tc &g1, const guard2tc &g2)
bool	operator== (const guard2tc &g1, const guard2tc &g2)

Function Documentation

operator-=()

guard2tc & operator-=	(	guard2tc &	g1,
		const guard2tc &	g2 )

operator==()

bool operator==	(	const guard2tc &	g1,
		const guard2tc &	g2 )

operator|=()

guard2tc & operator|=	(	guard2tc &	g1,
		const guard2tc &	g2 )