Uses of Class
org.jmlspecs.jml4.fspv.simpl.ast.SimplHolVariableReference

Packages that use SimplHolVariableReference

org.jmlspecs.jml4.fspv.simpl.ast

Uses of SimplHolVariableReference in org.jmlspecs.jml4.fspv.simpl.ast

Fields in org.jmlspecs.jml4.fspv.simpl.ast declared as SimplHolVariableReference

SimplHolVariableReference[]	SimplHoareTriplet.boundVariables
SimplHolVariableReference[]	SimplForAllExpression.boundVariables
static SimplHolVariableReference	SimplHolVariableReference.SIGMA

Methods in org.jmlspecs.jml4.fspv.simpl.ast that return SimplHolVariableReference

SimplHolVariableReference

SimplVariable.getHolVariableReference()

Constructors in org.jmlspecs.jml4.fspv.simpl.ast with parameters of type SimplHolVariableReference

SimplForAllExpression(SimplHolVariableReference[] boundVariables, SimplExpression expression)

SimplHoareTriplet(SimplHolVariableReference[] boundVariables, SimplExpression precondition, SimplStatement body, SimplExpression postcondition)