bitblast_smt_sort Class Reference

#include <bitblast_conv.h>

Inheritance diagram for bitblast_smt_sort:

Public Member Functions
	bitblast_smt_sort (smt_sort_kind i)
	bitblast_smt_sort (smt_sort_kind i, unsigned int _width, bool _sign)
	bitblast_smt_sort (smt_sort_kind i, unsigned long rangewidth, unsigned long domwidth)
virtual	~bitblast_smt_sort ()
Public Member Functions inherited from smt_sort
	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
bool	sign
Public Attributes inherited from smt_sort
smt_sort_kind	id
	Identifies what /kind/ of sort this is.

Constructor & Destructor Documentation

bitblast_smt_sort() [1/3]

bitblast_smt_sort::bitblast_smt_sort ( smt_sort_kind i )

inline

bitblast_smt_sort() [2/3]

bitblast_smt_sort::bitblast_smt_sort ( smt_sort_kind i, unsigned int _width, bool _sign )

inline

bitblast_smt_sort() [3/3]

bitblast_smt_sort::bitblast_smt_sort ( smt_sort_kind i, unsigned long rangewidth, unsigned long domwidth )

inline

~bitblast_smt_sort()

virtual bitblast_smt_sort::~bitblast_smt_sort ( )

inlinevirtual

Member Data Documentation

sign

bool bitblast_smt_sort::sign

---

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

• src/solvers/sat/bitblast_conv.h