#include <solvers/smt/smt_solver.h>

Include dependency graph for smt_overflow.cpp:

Functions
static BigInt	type_max_value (const type2tc &type)
	Largest value `type` can represent.

Function Documentation

◆ type_max_value()

BigInt type_max_value ( const type2tc & type )

static

Largest value type can represent.