Uses of Class
wyil.builders.Wyil2WyalBuilder

Packages that use Wyil2WyalBuilder

Package	Description
wyil.builders

Uses of Wyil2WyalBuilder in wyil.builders

Constructors in wyil.builders with parameters of type Wyil2WyalBuilder

Constructor and Description
VerificationConditionGenerator(wyal.lang.WyalFile wyalFile, Wyil2WyalBuilder builder)