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: