Uses of Class
org.jmlspecs.jml4.fspv.theory.TheoryVariableReference

Packages that use TheoryVariableReference

org.jmlspecs.jml4.fspv
org.jmlspecs.jml4.fspv.theory

Uses of TheoryVariableReference in org.jmlspecs.jml4.fspv

Methods in org.jmlspecs.jml4.fspv with parameters of type TheoryVariableReference

java.lang.Object	SimplTranslator.accept(TheoryVariableReference theoryVariableReference)
java.lang.Object	SideEffectHandler.accept(TheoryVariableReference theoryVariableReference)
java.lang.Object	PrestateDecorator.accept(TheoryVariableReference theoryVariableReference)

Uses of TheoryVariableReference in org.jmlspecs.jml4.fspv.theory

Subclasses of TheoryVariableReference in org.jmlspecs.jml4.fspv.theory

class

TheoryTempVariableReference

Methods in org.jmlspecs.jml4.fspv.theory that return TheoryVariableReference

TheoryVariableReference

TheoryVariable.nameReference()

Methods in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryVariableReference

java.lang.Object

TheoryVisitor.accept(TheoryVariableReference theoryVariableReference)

Constructors in org.jmlspecs.jml4.fspv.theory with parameters of type TheoryVariableReference

TheoryTempVariableReference(TheoryVariableReference v, int i)