Module dev.civl.mc

Package dev.civl.mc.model.IF

Class Models

java.lang.Object

dev.civl.mc.model.IF.Models

public class Models
extends Object

This is the entry point of the module model.

Constructor Summary

Constructors

Constructor	Description
Models()

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Models

public Models()

Method Details

newModelBuilder

public static ModelBuilder newModelBuilder(dev.civl.sarl.IF.SymbolicUniverse universe,
 CIVLConfiguration config)

Creates a new instance of model builder.

Parameters:

universe - The symbolic universe to be used.

Returns:

The new model builder created.

newModelBuilder

public static ModelBuilder newModelBuilder(ModelFactory factory)

Creates a new instance of model builder.

Parameters:

factory - The model factory to be used.

Returns:

The new model builder created.