OoasTools

types

  MyInt = int [0..42] ;

  MyTuple = (MyInt, MyInt) ;

  TupleDemo = autocons system

  |[

  var

	theTuple : MyTuple = MyTuple(1,1)

  actions

	ctr change1 = requires theTuple = MyTuple(1,1) :

		theTuple := MyTuple(1,2)

		end ;

        ctr change2 = requires theTuple[1] = 2 :

		theTuple := MyTuple(1,3)

                end

  do

        change1 [] change2

  od

  ]|

system

	TupleDemo