Uses of Interface
io.hotmoka.verification.VerifiedClass

Packages that use VerifiedClass

Package	Description
io.hotmoka.verification

Uses of VerifiedClass in io.hotmoka.verification

Methods in io.hotmoka.verification that return types with arguments of type VerifiedClass

Modifier and Type	Method	Description
Stream<VerifiedClass>	VerifiedJar.classes()	Yields the stream of the classes of the jar that passed verification.