Uses of Interface
dev.civl.mc.model.IF.ModelBuilder

Packages that use ModelBuilder

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Uses of ModelBuilder in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return ModelBuilder

Modifier and Type	Method	Description
static ModelBuilder	Models.newModelBuilder(ModelFactory factory)	Creates a new instance of model builder.
static ModelBuilder	Models.newModelBuilder(dev.civl.sarl.IF.SymbolicUniverse universe, CIVLConfiguration config)	Creates a new instance of model builder.