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

Packages that use Model

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.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

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

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

Modifier and Type	Method	Description
Model	ModelBuilder.buildModel(dev.civl.gmc.GMCSection config, dev.civl.abc.program.IF.Program program, String name, boolean debugging, PrintStream debugOut)	Builds the model.
Model	CIVLFunction.model()
Model	ModelFactory.model()	Returns the CIVL model built by this model factory.
Model	ModelFactory.model(CIVLSource source, CIVLFunction system, dev.civl.abc.program.IF.Program program)	Create a new model.
Model	Scope.model()

Methods in dev.civl.mc.model.IF with parameters of type Model

Modifier and Type	Method	Description
void	CIVLFunction.setModel(Model model)

Uses of Model in dev.civl.mc.model.IF.statement

Methods in dev.civl.mc.model.IF.statement that return Model

Modifier and Type	Method	Description
Model	Statement.model()

Methods in dev.civl.mc.model.IF.statement with parameters of type Model

Modifier and Type	Method	Description
void	Statement.setModel(Model model)

Uses of Model in dev.civl.mc.state.IF

Methods in dev.civl.mc.state.IF with parameters of type Model

Modifier and Type	Method	Description
State	StateFactory.initialState(Model model)	Returns the canonic, initial state for a CIVL Model.