expr.h File Reference

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

Go to the source code of this file.

Classes
class	ilang::Expr
	The class for expression, which is the basic type for variables, constraints, state update expressions, etc. More...
class	ilang::ExprHash
	The function object for hashing Expr. The hash value is the id of the symbol, which is supposed to be unique. More...

Namespaces
	ilang

Typedefs
typedef Expr::ExprPtr	ilang::ExprPtr
	Pointer type for normal use of Expr.
typedef Expr::ExprPtrVec	ilang::ExprPtrVec
	Type for storing a set of Expr.
typedef std::unordered_map < const ExprPtr, const ExprPtr, ExprHash >	ilang::ExprMap
	Type for mapping between Expr.
typedef std::unordered_set < ExprPtr, ExprHash >	ilang::ExprSet
	Type for storing a set of Expr.

Detailed Description

Class Expr - base class of expression nodes.