Index of values
A
addConstraintGlobalEnv
[
Evalenv.Evalenv
]
Var names -> constraints.
addConstraintListGlobalEnv
[
Evalenv.Evalenv
]
addFunDecl
[
Evalenv.Evalenv
]
Function declarations.
addTypeConstraints
[
Evalenv.Evalenv
]
Derives type-level constraints for variable name passed as arg.
addTypeDecl
[
Evalenv.Evalenv
]
Type names -> constraints.
ast2constraint
[
ConstraintUtils.ConstraintConverter
]
B
bindTypeGlobalEnv
[
Evalenv.Evalenv
]
Var names -> type representations.
bindValueGlobalEnv
[
Evalenv.Evalenv
]
bindValueLocalEnv
[
Evalenv.Evalenv
]
C
compare
[
AstUtils.Var
]
concretize
[
Oracle.Oracle
]
convert_constraints
[
ConstraintUtils.ConstraintConverter
]
csimplify
[
ConstraintUtils.ConstraintSimplify
]
D
default_tyconstraint
[
Evalenv.Evalenv
]
Default type constraint.
E
empty_evalenv
[
Evalenv.Evalenv
]
empty_relation
[
Ast.Ast
]
eq_exps
[
AstUtils.AstEq
]
eq_types
[
AstUtils.AstEq
]
eq_vars
[
AstUtils.AstEq
]
evaluate
[
Evaluator.Evaluator
]
G
get_constraint_vars
[
AstUtils.SymUtils
]
get_field
[
AstUtils.RelationUtils
]
get_index_field
[
AstUtils.RelationUtils
]
get_sym_vars
[
AstUtils.SymUtils
]
I
input
[
Yparser
]
input
[
Parser
]
L
lookupConstraintsEnv
[
Evalenv.Evalenv
]
lookupFunDecl
[
Evalenv.Evalenv
]
lookupRelationGlobalEnv
[
Evalenv.Evalenv
]
lookupType
[
Evalenv.Evalenv
]
lookupTypeDeclByData
[
Evalenv.Evalenv
]
lookupValueEnv
[
Evalenv.Evalenv
]
Var names -> expressions
M
mkEqs
[
Constraint.Constraint
]
mkRVar
[
Constraint.Constraint
]
mkVar
[
Constraint.Constraint
]
N
negate
[
Constraint.Constraint
]
P
pickle_exp
[
AstUtils.AstPrint
]
pickle_var
[
AstUtils.AstPrint
]
print_cexps
[
ConstraintUtils.ConstraintPrinter
]
R
relation_fold
[
AstUtils.RelationUtils
]
S
sameType
[
Evalenv.Evalenv
]
set_field
[
AstUtils.RelationUtils
]
set_index_field
[
AstUtils.RelationUtils
]
str2var
[
AstUtils.Var
]
sym
[
AstUtils.SymUtils
]
V
v_str
[
AstUtils.Var
]
var2constraint
[
ConstraintUtils.ConstraintConverter
]