Uses of Interface
io.hotmoka.verification.Bootstraps

Packages that use Bootstraps

Package	Description
io.hotmoka.verification

Uses of Bootstraps in io.hotmoka.verification

Methods in io.hotmoka.verification that return Bootstraps

Modifier and Type	Method	Description
Bootstraps	VerifiedClass.getBootstraps()	Yields a deep copy of the utility object that knows about the bootstraps of this class.