Index of types

C
cod [Memo.Tabulate.RecFun]
cod [Memo.Tabulate.Fun]
cod [Memo.Tabulate.S]
coeff [SrkApron]
context [Syntax]	A context manages symbols and sharing between expressions.
cs_term [CoordinateSystem]	A cs_term is a term associated with a coordinate, which is defined in terms of lower coordinates.
D
dim [SrkApron]
dim [Polynomial.Monomial]
dim [Linear.Vector]
dim [Linear.QQMatrix]
dom [Memo.Tabulate.RecFun]
dom [Memo.Tabulate.Fun]
dom [Memo.Tabulate.S]
E
expr [Syntax]
F
formula [Syntax.Context]
formula [Syntax]
I
interpretation [Interpretation]	An interpretation is a mapping from symbols to values.
iter [Transition.Make.Iter]
L
lcons [SrkApron]
level [Log]	Verbosity levels - from BatLog
lexpr [SrkApron]
O
open_expr [SrkZ3]
open_formula [Syntax]
open_term [Syntax]
P
polynomial_context [SrkSimplify.TermPolynomial]
property [SrkApron]
Q
quantifier_prefix [Quantifier]
R
rewriter [Syntax]	A rewriter is a function that transforms an expression into another.
S
scalar [SrkApron]
scalar [Linear.Vector]
scalar [Linear.QQMatrix]
set [DisjointSet.Make]
solver [SrkZ3.CHC]	CHC solver
strategy [Quantifier]
symbol [Syntax]	Symbols are represented as non-negative integers, but the type definition is hidden.
T
t [BigO]
t [Transition.Var]
t [Transition.Make]	There are two components in the representation of a transition: its transformand its guard.
t [Iteration.PreDomain]
t [Wedge]
t [CoordinateSystem]	Coordinate system
t [SrkSimplify.TermPolynomial]
t [Polyhedron]
t [SrkApron.Env]
t [Polynomial.Rewrite]
t [Polynomial.Monomial]
t [Linear.Ring]
t [Linear.AbelianGroup]
t [Linear.Vector]
t [Linear.QQMatrix]
t [SrkZ3.Solver]
t [Smt.Solver]
t [Interval]
t [Syntax.ContextTable]
t [Syntax.Context]
t [Syntax.Formula]
t [Syntax.Term]
t [Syntax.Expr.Map]
t [Syntax.Expr.Set]
t [Syntax.Expr.HT]
t [Syntax.Symbol]
t [Syntax.Env]
t [ZZ]
t [QQ]
t [FeatureTree]
t [DisjointSet.Make]
t [SrkUtil.Int.I]
tcons [SrkApron]
term [Syntax.Context]
term [Syntax]
texpr [SrkApron]
typ [Syntax]
typ_arith [Syntax]	Types
typ_bool [Syntax]
typ_fo [Syntax]
typ_fun [Syntax]
V
value [Interpretation]
var [Transition.Make]
Z
z3_context [SrkZ3]
z3_expr [SrkZ3]
z3_func_decl [SrkZ3]