Uses of Class
org.jmlspecs.jml4.esc.gc.lang.sugared.SugaredAssume

Packages that use SugaredAssume

org.jmlspecs.jml4.esc.gc

Uses of SugaredAssume in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc with parameters of type SugaredAssume

SugaredStatement	TargetGatheringVisitor.visit(SugaredAssume sugaredAssume)
SugaredStatement	SimplifyingVisitor.visit(SugaredAssume sugaredAssume)
SimpleStatement	DesugaringVisitor.visit(SugaredAssume sugaredAssume)
SugaredStatement	SugaredStatementVisitor.visit(SugaredAssume stmt, SugaredStatement rest)
SugaredStatement	DesugarLoopVisitor.visit(SugaredAssume sugaredAssume, SugaredStatement rest)