Package cruise.umple.nusmv

Class ModelOptimizer

java.lang.Object

cruise.umple.nusmv.ModelOptimizer

public class ModelOptimizer
extends java.lang.Object

use ../generators/NuSMV/NuSMVCoordinationUnit.ump;

Constructor Summary

Constructors

Constructor	Description
ModelOptimizer()

Method Summary

Modifier and Type	Method	Description
void	delete()
StateMachine	optimize(StateMachine smn)
ExplorationResult	optimize(StateMachine sm, StateMachine parentStateMachine, java.util.HashMap<State,TargetConfiguration> map)	this method constructs an optimized Statemachine from its input StateMachine (i.e., root or non-root)

Methods inherited from class java.lang.Object

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

Constructor Details

ModelOptimizer

public ModelOptimizer()

Method Details

delete

public void delete()

optimize

public StateMachine optimize(StateMachine smn)

optimize

public ExplorationResult optimize(StateMachine sm, StateMachine parentStateMachine, java.util.HashMap<State,TargetConfiguration> map)

this method constructs an optimized Statemachine from its input StateMachine (i.e., root or non-root)