Package com.microsoft.z3

Data Structures
class	AlgebraicNum
class	ApplyResult
class	ApplyResultDecRefQueue
class	ArithExpr
class	ArithSort
class	ArrayExpr
class	ArraySort
class	AST
class	ASTDecRefQueue
class	ASTMap
class	ASTMapDecRefQueue
class	ASTVector
class	ASTVectorDecRefQueue
class	BitVecExpr
class	BitVecNum
class	BitVecSort
class	BoolExpr
class	BoolSort
class	Constructor
class	ConstructorList
class	Context
class	DatatypeExpr
class	DatatypeSort
class	EnumSort
class	Expr
class	FiniteDomainSort
class	Fixedpoint
class	FixedpointDecRefQueue
class	FuncDecl
class	FuncInterp
class	FuncInterpDecRefQueue
class	FuncInterpEntryDecRefQueue
class	Global
class	Goal
class	GoalDecRefQueue
class	IDecRefQueue
class	IDisposable
class	InterpolationContext
	The InterpolationContext is suitable for generation of interpolants. More...
class	IntExpr
class	IntNum
class	IntSort
class	IntSymbol
class	ListSort
class	Log
class	Model
class	ModelDecRefQueue
class	ParamDescrs
class	ParamDescrsDecRefQueue
class	Params
class	ParamsDecRefQueue
class	Pattern
class	Probe
class	ProbeDecRefQueue
class	Quantifier
class	RatNum
class	RealExpr
class	RealSort
class	RelationSort
class	SetSort
class	Solver
class	SolverDecRefQueue
class	Sort
class	Statistics
class	StatisticsDecRefQueue
enum	Status
class	StringSymbol
class	Symbol
class	Tactic
class	TacticDecRefQueue
class	TupleSort
class	UninterpretedSort
class	Version
class	Z3Exception
class	Z3Object

---

Detailed Description

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

AlgebraicNum.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ApplyResult.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ApplyResultDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ArithExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ArithSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ArrayExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ArraySort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

AST.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ASTDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ASTMap.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

AstMapDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ASTVector.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

AstVectorDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

BitVecExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

BitVecNum.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

BitVecSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

BoolExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

BoolSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Constructor.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ConstructorList.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Context.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

DatatypeExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

DatatypeSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

EnumSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Expr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FiniteDomainSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Fixedpoint.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FixedpointDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FuncDecl.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FuncInterp.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FuncInterpDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FuncInterpEntryDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Global.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Goal.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

GoalDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

IDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

InterpolationContext.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

IntExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

IntNum.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

IntSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

IntSymbol.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ListSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Log.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Model.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ModelDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ParamDescrs.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ParamDescrsDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Params.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ParamDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Pattern.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Probe.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

ProbeDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Quantifier.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

RatNum.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

RealExpr.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

RealSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

RelationSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

SetSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Solver.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

SolverDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Sort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Statistics.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

StatisticsDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Status.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

StringSymbol.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Symbol.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Tactic.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

TacticDecRefQueue.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

TupleSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

UninterpretedSort.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Version.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Z3Exception.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

Z3Object.java

Abstract:

Author:

Author:

Christoph Wintersteiger (cwinter) 2012-03-15

Notes: