java.lang.Object

cruise.umple.nusmv.TargetConfiguration

public class TargetConfiguration
extends java.lang.Object

Constructor Summary

Constructors

Constructor Description

TargetConfiguration(State aGreatest_default_state, State... allGreatest_descendant_states)

Method Summary

Modifier and Type	Method	Description
`boolean`	`addGreatest_descendant_state(State aGreatest_descendant_state)`
`boolean`	`addGreatest_descendant_stateAt(State aGreatest_descendant_state, int index)`
`boolean`	`addOrMoveGreatest_descendant_stateAt(State aGreatest_descendant_state, int index)`
`void`	`delete()`
`State`	`getGreatest_default_state()`
`State`	`getGreatest_descendant_state(int index)`
`java.util.List<State>`	`getGreatest_descendant_states()`
`boolean`	`hasGreatest_descendant_states()`
`int`	`indexOfGreatest_descendant_state(State aGreatest_descendant_state)`
`static int`	`minimumNumberOfGreatest_descendant_states()`
`int`	`numberOfGreatest_descendant_states()`
`boolean`	`removeGreatest_descendant_state(State aGreatest_descendant_state)`
`boolean`	`setGreatest_default_state(State aNewGreatest_default_state)`
`boolean`	`setGreatest_descendant_states(State... newGreatest_descendant_states)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

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

Constructor Details
- TargetConfiguration
  
  public TargetConfiguration(State aGreatest_default_state, State... allGreatest_descendant_states)
Method Details
- getGreatest_default_state
  
  public State getGreatest_default_state()
- getGreatest_descendant_state
  
  public State getGreatest_descendant_state(int index)
- getGreatest_descendant_states
  
  public java.util.List<State> getGreatest_descendant_states()
- numberOfGreatest_descendant_states
  
  public int numberOfGreatest_descendant_states()
- hasGreatest_descendant_states
  
  public boolean hasGreatest_descendant_states()
- indexOfGreatest_descendant_state
  
  public int indexOfGreatest_descendant_state(State aGreatest_descendant_state)
- setGreatest_default_state
  
  public boolean setGreatest_default_state(State aNewGreatest_default_state)
- minimumNumberOfGreatest_descendant_states
  
  public static int minimumNumberOfGreatest_descendant_states()
- addGreatest_descendant_state
  
  public boolean addGreatest_descendant_state(State aGreatest_descendant_state)
- removeGreatest_descendant_state
  
  public boolean removeGreatest_descendant_state(State aGreatest_descendant_state)
- setGreatest_descendant_states
  
  public boolean setGreatest_descendant_states(State... newGreatest_descendant_states)
- addGreatest_descendant_stateAt
  
  public boolean addGreatest_descendant_stateAt(State aGreatest_descendant_state, int index)
- addOrMoveGreatest_descendant_stateAt
  
  public boolean addOrMoveGreatest_descendant_stateAt(State aGreatest_descendant_state, int index)
- delete
  
  public void delete()
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object

Class TargetConfiguration

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Details

Method Details