klee::expr Namespace Reference

Classes
class	ArrayDecl
class	CommandDecl
	CommandDecl - Base class for language commands. More...
class	Decl
	Decl - Base class for top level declarations. More...
class	ExprVarDecl
	ExprVarDecl - Expression variable declarations. More...
struct	Identifier
	Identifier - Wrapper for a uniqued string. More...
class	Lexer
	Lexer - Interface for lexing tokens from a .kquery language file. More...
class	Parser
	Parser - Public interface for parsing a .kquery language file. More...
class	QueryCommand
struct	Token
class	VarDecl
class	VersionVarDecl
	VersionVarDecl - Array version variable declarations. More...

Typedefs
typedef ref< Expr >	ExprHandle
typedef UpdateList	VersionHandle

Typedef Documentation

ExprHandle

typedef ref<Expr> klee::expr::ExprHandle

Definition at line 27 of file Parser.h.

VersionHandle

typedef UpdateList klee::expr::VersionHandle

Definition at line 28 of file Parser.h.