A B C D E F G H I J K L M N O P R S T U V W Z

B

bad(Object) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.AstToGreenExprVisitor

bad(Object) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.AstToGreenVisitor

bad(Object) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.AstToGreen.NoSkipVisitor

bad(Object) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.fieldaccess.FieldSSAVisitor

bad(Object) - Static method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases.SpfToGreenExprVisitor

bad(Object) - Method in class gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases.SpfToGreenVisitor

baload() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

bastore() - Method in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

blockConditionMap - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.Environment.SSAToStatIVisitor

A map that maps a PhiEdge with a list of all conditions that describe the path needs to be taken in the cfg to get to that edge of the phi.

blockConditionMap - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.CreateStaticRegions

This is used for Phi instructions, where each edge in the graph is mapped to a list of conditions that represents the path up till that edge.

branch - Variable in class gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.PhiCondition

Branch() - Constructor for enum gov.nasa.jpf.symbc.veritesting.ast.transformations.ssaToAst.PhiCondition.Branch

bvlength - Static variable in class gov.nasa.jpf.symbc.SymbolicInstructionFactory

A B C D E F G H I J K L M N O P R S T U V W Z