interval_union.cpp File Reference

#include "interval_union.h"
#include "arith_tools.h"
#include "range.h"
#include "string_utils.h"
#include <regex>
#include <util/invariant.h>
#include <util/std_expr.h>

Include dependency graph for interval_union.cpp:

Go to the source code of this file.

Functions
static bool	strictly_below (const interval_templatet< mp_integer > &a, const interval_templatet< mp_integer > &b)
	Check that interval a is strictly below interval b. More...

Function Documentation

strictly_below()

static bool strictly_below ( const interval_templatet< mp_integer > &  a, const interval_templatet< mp_integer > &  b  )

static

Check that interval a is strictly below interval b.

Definition at line 251 of file interval_union.cpp.