java.lang.Object

cruise.umple.nusmv.ExplorationResult

public class ExplorationResult
extends java.lang.Object

Method Summary

Modifier and Type	Method	Description
`void`	`delete()`
`java.util.HashMap<State,TargetConfiguration>`	`getMap()`
`StateMachine`	`getStateMachine()`
`boolean`	`setMap(java.util.HashMap<State,TargetConfiguration> aMap)`
`boolean`	`setStateMachine(StateMachine aNewStateMachine)`
`java.lang.String`	`toString()`

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

Constructor Details
- ExplorationResult
  
  public ExplorationResult(StateMachine aStateMachine)
Method Details
- setMap
  
  public boolean setMap(java.util.HashMap<State,TargetConfiguration> aMap)
- getMap
  
  public java.util.HashMap<State,TargetConfiguration> getMap()
- getStateMachine
  
  public StateMachine getStateMachine()
- setStateMachine
  
  public boolean setStateMachine(StateMachine aNewStateMachine)
- delete
  
  public void delete()
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object

Class ExplorationResult