JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
U
unindent()
- Method in class gov.nasa.jpf.symbc.veritesting.ast.visitors.
PrettyPrintVisitor
uniqueCounter
- Static variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.
DynamicRegion
unique counter used to maintain uniqueness among vars in case a region was used multiple times, like in a loop.
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.def.
ArrayRefVarExpr
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.def.
AstVarExpr
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.def.
FieldRefVarExpr
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.def.
WalaVarExpr
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.
ArrayExpressions
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.
ArraySubscriptMap
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.
FieldSubscriptMap
uniqueNum
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Uniquness.
ExpUniqueVisitor
UniqueRegion
- Class in
gov.nasa.jpf.symbc.veritesting.ast.transformations.Uniquness
Unique region creator, of both conditional regions and method regions.
UniqueRegion()
- Constructor for class gov.nasa.jpf.symbc.veritesting.ast.transformations.Uniquness.
UniqueRegion
unknownPhaseEx
- Static variable in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.
StatisticManager
update(ArrayRef, Expression)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.
ArrayExpressions
updateConcreteHitStatForRegion(String)
- Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.
StatisticManager
updateInvariants(Set<Invariant>)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.
DefaultTransformation
updateKey(Integer, Integer)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.
StaticTable
Updates a key of the table for a specific entry.
updateKeys(ArrayRef, ArrayRef)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.
ArraySubscriptMap
updateKeys(CloneableVariable, CloneableVariable)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.
CloneableVarTable
Updates a key of the table for a specific entry.
updateKeys(FieldRef, FieldRef)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.
FieldSubscriptMap
updatePhiUse(SSAPhiInstruction, int[])
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.
SlotParamTable
updateSkipRegions(String, String)
- Method in class gov.nasa.jpf.symbc.
VeritestingListener
updateSPFHitForRegion(String, String)
- Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.
StatisticManager
updateValue(ArrayRef, SubscriptPair)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.
ArraySubscriptMap
updateValue(Integer, Integer)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.arrayaccess.
GlobalArraySubscriptMap
updateValue(FieldRef, SubscriptPair)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.
FieldSubscriptMap
updateValue(FieldRef, Integer)
- Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.
GlobalSubscriptMap
updateVeriSuccForRegion(String)
- Method in class gov.nasa.jpf.symbc.veritesting.VeritestingUtil.
StatisticManager
usedWalaVars
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.
ExprRegionInputVisitor
useVarTable
- Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.substitution.
SubstitutionVisitor
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
Z
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes