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

Packages that use TheoryInvariantExpression

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

Uses of TheoryInvariantExpression in org.jmlspecs.jml4.fspv

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

java.lang.Object

PrestateDecorator.accept(TheoryInvariantExpression theoryInvariantExpression)

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

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

static TheoryInvariantExpression	TheoryInvariantExpression.EMPTY_INVARIANT
TheoryInvariantExpression	TheoryLoopAnnotationsExpression.invariant

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

java.lang.Object

TheoryVisitor.accept(TheoryInvariantExpression theoryInvariantExpression)

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

TheoryLoopAnnotationsExpression(TheoryInvariantExpression invariant, TheoryVariantExpression variant)