de.cau.cs.kieler.synccharts.s
Class StateAndSignals
java.lang.Object
de.cau.cs.kieler.synccharts.s.StateAndSignals
public class StateAndSignals
- extends Object
An implementation of a "triple" with a state, its trigger signals and effect signals.
- Rating

- (2010-06-14)
StateAndSignals
public StateAndSignals()
getStatePlusTransition
public StatePlusTransition getStatePlusTransition()
- Returns:
- the state
setState
public void setState(StatePlusTransition newState)
- Parameters:
newState
- the state to set
getTriggerSignals
public ArrayList<Signal> getTriggerSignals()
- Returns:
- the triggerSignals
setTriggerSignals
public void setTriggerSignals(ArrayList<Signal> newTriggerSignals)
- Parameters:
newTriggerSignals
- the triggerSignals to set
getEffectSignals
public ArrayList<Signal> getEffectSignals()
- Returns:
- the effectSignals
setEffectSignals
public void setEffectSignals(ArrayList<Signal> newEffectSignals)
- Parameters:
newEffectSignals
- the effectSignals to set
equals
public boolean equals(Object other)
-
- Overrides:
equals
in class Object