sort.h File Reference

#include <memory>
#include <ostream>
#include <z3++.h>
#include <ilang/ila/ast/ast.h>

Go to the source code of this file.

Classes
class	ilang::Sort
	The class for sort (type for expr, and the range/domain of functions). More...
class	ilang::SortBool
	The class of Boolean Sort. More...
class	ilang::SortBv
	The class of bit-vector Sort. More...
class	ilang::SortMem
	The class of memory (array) Sort. More...

Namespaces
	ilang

Typedefs
typedef Sort::SortPtr	ilang::SortPtr
	Pointer type for storing/passing Sort.

Enumerations
enum	ilang::AstUidSort { kBool = 1, kBv, kMem }
	Unified ID for Sort.

Detailed Description

Header for the class Sort