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

Packages that use TheoryVariantExpression

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

Uses of TheoryVariantExpression in org.jmlspecs.jml4.fspv

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

java.lang.Object

PrestateDecorator.accept(TheoryVariantExpression theoryVariantExpression)

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

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

static TheoryVariantExpression	TheoryVariantExpression.EMPTY_VARIANT
TheoryVariantExpression	TheoryLoopAnnotationsExpression.variant

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

java.lang.Object

TheoryVisitor.accept(TheoryVariantExpression theoryVariantExpression)

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

TheoryLoopAnnotationsExpression(TheoryInvariantExpression invariant, TheoryVariantExpression variant)