Module dev.civl.mc

Package dev.civl.mc.dynamic.IF

Class Dynamics

java.lang.Object

dev.civl.mc.dynamic.IF.Dynamics

public class Dynamics
extends Object

Entry point of the module dynamic.

Constructor Summary

Constructors

Constructor	Description
Dynamics()

Method Summary

Modifier and Type	Method	Description
static DynamicMemoryLocationSetFactory	newDynamicMemoryLocationSetFactory(dev.civl.sarl.IF.SymbolicUniverse universe, CIVLTypeFactory typeFactory, dev.civl.sarl.IF.expr.SymbolicExpression collectedScopeValue)	Creates a new instance of DynamicMemoryLocationSetFactory.
static SymbolicUtility	newSymbolicUtility(dev.civl.sarl.IF.SymbolicUniverse universe, ModelFactory modelFactory, StateFactory stateFactory)	Creates a new instance of symbolic utility.

Methods inherited from class java.lang.Object

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

Constructor Details

Dynamics

public Dynamics()

Method Details

newSymbolicUtility

public static SymbolicUtility newSymbolicUtility(dev.civl.sarl.IF.SymbolicUniverse universe,
 ModelFactory modelFactory,
 StateFactory stateFactory)

Creates a new instance of symbolic utility.

Parameters:

universe - The symbolic universe to be used.

modelFactory - The model factory to be used.

Returns:

The new symbolic utility created.

newDynamicMemoryLocationSetFactory

public static DynamicMemoryLocationSetFactory newDynamicMemoryLocationSetFactory(dev.civl.sarl.IF.SymbolicUniverse universe,
 CIVLTypeFactory typeFactory,
 dev.civl.sarl.IF.expr.SymbolicExpression collectedScopeValue)

Creates a new instance of DynamicMemoryLocationSetFactory.

Parameters:

universe - A reference to a SymbolicUniverse

typeFactory - a reference to a CIVLTypeFactory

collectedScopeValue - the unique scope value that represents a scope has been collected.

Returns:

a new instance of DynamicMemoryLocationSetFactory.