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

Packages that use TheoryLiteral

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

Uses of TheoryLiteral in org.jmlspecs.jml4.fspv

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

java.lang.Object	SimplTranslator.accept(TheoryLiteral theoryLiteral)
java.lang.Object	SideEffectHandler.accept(TheoryLiteral theoryLiteral)
java.lang.Object	PrestateDecorator.accept(TheoryLiteral theoryLiteral)

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

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

static TheoryLiteral	TheoryLiteral.False()
static TheoryLiteral	TheoryLiteral.True()

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

java.lang.Object

TheoryVisitor.accept(TheoryLiteral theoryLiteral)