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

Packages that use TheoryVariable

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

Uses of TheoryVariable in org.jmlspecs.jml4.fspv

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

java.lang.Object	SimplTranslator.accept(TheoryVariable variable)
java.lang.Object	SideEffectHandler.accept(TheoryVariable theoryVariable)
java.lang.Object	PrestateDecorator.accept(TheoryVariable theoryVariable)

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

Fields in org.jmlspecs.jml4.fspv.theory declared as TheoryVariable

TheoryVariable	TheoryVariableReference.variable
TheoryVariable	TheoryQuantifiedExpression.variable
TheoryVariable	TheoryLocalDeclarationBlockStatement.variable
TheoryVariable[]	TheoryLemma.variables

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

static TheoryVariable	TheoryVariable.Argument(java.lang.String name, TheoryType type, int declSourceStart)
static TheoryVariable	TheoryVariable.Bound(java.lang.String name, TheoryType type, TheoryExpression initialization, int declSourceStart)
TheoryVariable[]	TheoryHelper.getVariables()
static TheoryVariable	TheoryVariable.Local(java.lang.String name, TheoryType type, TheoryExpression initialization, int declSourceStart)
TheoryVariable	TheoryHelper.lookupVariable(TheoryVariable variable)
static TheoryVariable	TheoryVariable.Old(TheoryVariable v)
static TheoryVariable	TheoryVariable.Result(TheoryType type)

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

java.lang.Object	TheoryVisitor.accept(TheoryVariable theoryVariable)
void	TheoryHelper.addVariable(TheoryVariable v)
boolean	TheoryVariable.equals(TheoryVariable v)
TheoryVariable	TheoryHelper.lookupVariable(TheoryVariable variable)
static TheoryVariable	TheoryVariable.Old(TheoryVariable v)
void	TheoryHelper.pushLocalVarStack(TheoryVariable variable)

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

TheoryLemma(TheoryVariable[] variables, java.lang.String name, TheoryExpression pre, TheoryBlockStatement block, TheoryExpression post)

TheoryLocalDeclarationBlockStatement(TheoryVariable variable, TheoryStatement[] statements)

TheoryQuantifiedExpression(TheoryQuantifier quantifier, TheoryVariable variable, TheoryExpression range, TheoryExpression body)

TheoryVariableReference(TheoryVariable variable)