Loading...

Searching...

No Matches

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.

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.