Z3
Data Structures
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  ConstructorDecRefQueue
 
class  ConstructorList
 
class  ConstructorListDecRefQueue
 
class  Context
 
class  DatatypeExpr
 
class  DatatypeSort
 
class  EnumSort
 
class  Expr
 
class  FiniteDomainExpr
 
class  FiniteDomainNum
 
class  FiniteDomainSort
 
class  Fixedpoint
 
class  FixedpointDecRefQueue
 
class  FPExpr
 
class  FPNum
 
class  FPRMExpr
 
class  FPRMNum
 
class  FPRMSort
 
class  FPSort
 
class  FuncDecl
 
class  FuncInterp
 
class  FuncInterpDecRefQueue
 
class  FuncInterpEntryDecRefQueue
 
class  Global
 
class  Goal
 
class  GoalDecRefQueue
 
class  IDecRefQueue
 
class  IntExpr
 
class  IntNum
 
class  IntSort
 
class  IntSymbol
 
class  Lambda
 
class  ListSort
 
class  Log
 
class  Model
 
class  ModelDecRefQueue
 
class  Optimize
 
class  OptimizeDecRefQueue
 
class  ParamDescrs
 
class  ParamDescrsDecRefQueue
 
class  Params
 
class  ParamsDecRefQueue
 
class  Pattern
 
class  Probe
 
class  ProbeDecRefQueue
 
class  Quantifier
 
class  RatNum
 
class  RealExpr
 
class  RealSort
 
class  ReExpr
 
class  RelationSort
 
class  ReSort
 
class  SeqExpr
 
class  SeqSort
 
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:

FiniteDomainExpr.java

Abstract:

Author:

@author Christoph Wintersteiger (cwinter) 2015-12-02

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

FiniteDomainNum.java

Abstract:

Author:

@author Christoph Wintersteiger (cwinter) 2015-12-02

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:

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) 2017 Microsoft Corporation

Module Name:

Lambda.java

Abstract:

Z3 Java API: Lambda

Author:

Christoph Wintersteiger (cwinter) 2012-03-19

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) 2015 Microsoft Corporation

Module Name:

Optimize.java

Abstract:

Z3 Java API: Optimizes

Author:

Nikolaj Bjorner (nbjorner) 2015-07-16

Notes:

Copyright (c) 2012-2015 Microsoft Corporation

Module Name:

OptimizeDecRefQueue.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-2016 Microsoft Corporation

Module Name:

ReExpr.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:

ReSort.java

Abstract:

Author:

@author Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2016 Microsoft Corporation

Module Name:

SeqExpr.java

Abstract:

Author:

@author Christoph Wintersteiger (cwinter) 2012-03-15

Notes:

Copyright (c) 2012-2014 Microsoft Corporation

Module Name:

SeqSort.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: