package test

 //simple enumeration

 type t = enumeration( a,  b, c, d);



//simple record that contain an enumeration

 record rec

   parameter t value = t.a;

 end rec;





// model

 model oo

    // fill 2 records

    rec r1(value=t.a);

    rec r2(value=t.b);

    

    //define vector of records

    parameter rec alpha[2]={r1, r2};

    parameter t check=t.b ;

  

  // define vector «bool» which contains 1 or 0 depending on «check» value and content of vector «alpha»

  Integer[size(alpha,1)] bool={(if i.value == check then 1 else 0) for i in alpha};



  end oo;

end test;