=======  =======

====== Differences ======
-org.eclipse.emf.compare.diff.metamodel.impl.DiffGroupImpl@1ec4639 (conflicting: false, kind: Change)
-6 change(s) in StateMachine StateMachine
-1 change(s) in SingleState A
-1 change(s) in Transition f
-Reference target in f changed from state.impl.SingleStateImpl@6dbfb0 (name: B) (isFinal: false, isInitial: false) to state.impl.SingleStateImpl@1557211 (name: BC) (isFinal: false, isInitial: false)
-2 change(s) in SingleState SingleState
-h has been added to reference incoming in SingleState
-h has been removed from reference incoming in SingleState
-state.impl.SingleStateImpl@6dbfb0 (name: B) (isFinal: false, isInitial: false) has been removed
-state.impl.SingleStateImpl@12fe9bf (name: C) (isFinal: false, isInitial: false) has been removed
-state.impl.SingleStateImpl@1557211 (name: BC) (isFinal: false, isInitial: false) has been added

====== Pre conditions ======

===== 9634914 : StateMachine: StateMachine_0 =====


===== 31322983 : SingleState: SingleState_0 =====

  * ( ) name = null
  * ( ) isFinal = false
  * ( ) isInitial = true
  * ( ) owner = null
  * ( ) incoming->isEmpty()

===== 9895292 : Transition: Transition_0 =====

  * ( ) event = 'e'
  * (X) target = #{SingleState_1}
  * (X) source = #{SingleState_0}

===== A : SingleState: SingleState_1 =====

  * ( ) name = 'A'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (-) incoming->includesAll(#[Transition_0])

===== 6027727 : Transition: Transition_1 =====

  * ( ) event = 'f'
  * (X) target = #{SingleState_2}
  * (e) source = // TODO a state which is connected to A

===== B : SingleState: SingleState_2 =====

  * ( ) name = 'B'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_1])

===== 21231495 : Transition: Transition_2 =====

  * ( ) event = 'g'
  * (e) target =  // TODO a state which is connected to A
  * (X) source = #{SingleState_2}

===== C : SingleState: SingleState_3 =====

  * ( ) name = 'C'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_2])

===== 10165781 : Transition: Transition_3 =====

  * ( ) event = 'h'
  * (X) target = #{SingleState_4}
  * (X) source = #{SingleState_3}

===== 30678013 : SingleState: SingleState_4 =====

  * ( ) name = null
  * ( ) isFinal = true
  * ( ) isInitial = false
  * ( ) owner = null
  * ( ) incoming->includesAll(#[Transition_3])

====== Post conditions ======

===== 13266288 : StateMachine: StateMachine_0 =====


===== 30861826 : SingleState: SingleState_0 =====

  * ( ) name = null
  * ( ) isFinal = false
  * ( ) isInitial = true
  * ( ) owner = null
  * ( ) incoming->isEmpty()

===== 10310209 : Transition: Transition_0 =====

  * ( ) event = 'e'
  * (X) target = #{SingleState_1}
  * (X) source = #{SingleState_0}

===== A : SingleState: SingleState_1 =====

  * ( ) name = 'A'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (-) incoming->includesAll(#[Transition_0])

===== 2585670 : Transition: Transition_1 =====

  * ( ) event = 'f'
  * (X) target = #{SingleState_3}
  * (X) source = #{SingleState_1}

===== 4377562 : SingleState: SingleState_2 =====

  * ( ) name = null
  * (X) isFinal = true
  * (X) isInitial = false
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_2])

===== BC : SingleState: SingleState_3 =====

  * ( ) name = 'BC'
  * (X) isFinal = false
  * (X) isInitial = false
  * ( ) owner = null
  * (X) incoming->includesAll(#[Transition_1])

===== 11784010 : Transition: Transition_2 =====

  * ( ) event = 'h'
  * (X) target = #{SingleState_2}
  * (X) source = #{SingleState_3}