func.h File Reference

#include <memory>
#include <string>
#include <vector>
#include <z3++.h>
#include <ilang/ila/ast/ast.h>
#include <ilang/ila/ast/sort.h>

Go to the source code of this file.

Classes
class	ilang::Func
	The class for uninterpreted function. More...
class	ilang::FuncHash
	The function object for hashing Func. The hash value is the id of the symbol, which is supposed to be unique. More...

Namespaces
	ilang

Typedefs
typedef Func::FuncPtr	ilang::FuncPtr
	Pointer type for normal use of Func.

Detailed Description

Header for the class Func (uninterpreted function).