smt_sort Class Reference

#include <smt_sort.h>

Inheritance diagram for smt_sort:

Public Member Functions
	smt_sort (smt_sort_kind i)
	smt_sort (smt_sort_kind i, const type2tc &type)
	smt_sort (smt_sort_kind i, std::size_t width)
	smt_sort (smt_sort_kind i, std::size_t width, std::size_t sigwidth)
	smt_sort (smt_sort_kind i, std::size_t dom_width, smt_sortt range_sort)
	smt_sort (smt_sort_kind i, const type2tc &type, std::size_t dom_width, smt_sortt range_sort)
size_t	get_data_width () const
size_t	get_domain_width () const
smt_sortt	get_range_sort () const
size_t	get_significand_width () const
size_t	get_exponent_width () const
const type2tc &	get_tuple_type () const
virtual	~smt_sort ()=default

Public Attributes
smt_sort_kind	id
	Identifies what /kind/ of sort this is.

Constructor & Destructor Documentation

smt_sort() [1/6]

smt_sort::smt_sort ( smt_sort_kind i )

inline

smt_sort() [2/6]

smt_sort::smt_sort ( smt_sort_kind i, const type2tc & type )

inline

smt_sort() [3/6]

smt_sort::smt_sort ( smt_sort_kind i, std::size_t width )

inline

smt_sort() [4/6]

smt_sort::smt_sort ( smt_sort_kind i, std::size_t width, std::size_t sigwidth )

inline

smt_sort() [5/6]

smt_sort::smt_sort ( smt_sort_kind i, std::size_t dom_width, smt_sortt range_sort )

inline

smt_sort() [6/6]

smt_sort::smt_sort ( smt_sort_kind i, const type2tc & type, std::size_t dom_width, smt_sortt range_sort )

inline

~smt_sort()

virtual smt_sort::~smt_sort ( )

virtualdefault

Member Function Documentation

get_data_width()

size_t smt_sort::get_data_width ( ) const

inline

get_domain_width()

size_t smt_sort::get_domain_width ( ) const

inline

get_exponent_width()

size_t smt_sort::get_exponent_width ( ) const

inline

get_range_sort()

smt_sortt smt_sort::get_range_sort ( ) const

inline

get_significand_width()

size_t smt_sort::get_significand_width ( ) const

inline

get_tuple_type()

const type2tc & smt_sort::get_tuple_type ( ) const

inline

Member Data Documentation

id

smt_sort_kind smt_sort::id

Identifies what /kind/ of sort this is.

The specific sort itself may be parameterised with widths and domains, for example.

---

The documentation for this class was generated from the following file:

• src/solvers/smt/smt_sort.h