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