the type Bool or (_ BitVec) More...

#include <smt_ast.h>

Public Member Functions
std::string	toString () const
	convert to string

unsigned	GetBoolBvWidth () const
	return a verilog-use width

bool	is_bv () const
	test if it is bv

bool	is_bool () const
	test if it is bv

bool	is_datatype () const
	test if it is bv

	var_type (tp vtype, unsigned width, const std::string mod_name)

	var_type (const var_type &vp)

var_type &	operator= (const var_type &)=default

Static Public Member Functions
static var_type	ParseFromString (str_iterator &)
	contruct from

static std::string	toString (const std::vector< var_type > &)
	convert a vec of var_type to string (used in declare-fun/var)

static bool	eqtype (const var_type &l, const var_type &r)
	whether the types are the same

Public Attributes
enum ilang::smt::var_type::tp	_type

unsigned	_width
	bitwidth

std::string	module_name
	its datatype name (not including \| _s\|)

Detailed Description

the type Bool or (_ BitVec)

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

Public Types