2    ,     t t t ,          ,  , , "     "    , , , , , , , , , , : , =    = = ,   ,    , t ,    , R , , ,   R ! "#$ R ,%& i' ,( ,) *+ , *- ,. / 01 i23 ,4 56 i7 ,89 {7:; < = " "> ? @ ,A BC DEFG HIJKLMNOPQRSTUVWXYZ[ ,\ , , ,7]   ^ _ ` a b ,c ,d ,e ,f ,ghijklmnop ,q ,r s ,t ,uvw txy z "z{| ,} ,~ InnerClassesTripleNAME_CONNECTORLjava/lang/String; ConstantValue _inputNamesLjava/util/Set; _outputNames_internalNames_illegalStates()VCodeLineNumberTableLocalVariableTablethis4Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;"(Lptolemy/kernel/util/Workspace;)V workspaceLptolemy/kernel/util/Workspace;5(Lptolemy/kernel/CompositeEntity;Ljava/lang/String;)V container Lptolemy/kernel/CompositeEntity;name ExceptionsaddPortsportLptolemy/actor/TypedIOPort; transition>Lptolemy/domains/modal/kernel/ia/InterfaceAutomatonTransition;labeliteratorLjava/util/Iterator; exception,Lptolemy/kernel/util/IllegalActionException;.Lptolemy/kernel/util/NameDuplicationException; StackMapTable1combineInternalTransitionsstate$Lptolemy/domains/modal/kernel/State;inPortLptolemy/kernel/ComponentPort;transitionListLjava/util/List;incomingTransitionoutPortoutgoingTransition sourceStatedestinationState incomingLabel incomingName outgoingLabelnewLabelrelationNamePrefixstates initialStatecomposej(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;)Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton; automatonk(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Z)Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;considerTransientZ compositioncomputeAlternatingSimulationE(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;)Ljava/util/Set;pair+Lptolemy/domains/modal/kernel/ia/StatePair;subState superState subStatespairs subAutomaton simulation superStates toBeRemoveddeadlockStates()Ljava/util/Set;epsilonClosure5(Lptolemy/domains/modal/kernel/State;)Ljava/util/Set;transitionTypeIcurrent transitionsclosurefrontierexternallyEnabledDestinationsG(Lptolemy/domains/modal/kernel/State;Ljava/lang/String;)Ljava/util/Set; destinationsourcetransitionLabel destinationssources&externallyEnabledInputTransitionLabels nextStatelabelstransitionLabels'externallyEnabledOutputTransitionLabelsfiregetInfo()Ljava/lang/String;infoLjava/lang/StringBuffer; inputNames outputNames internalNames inputNameSetLptolemy/kernel/Port;setinternalTransitionNameSetisClosed()ZisEmpty newRelation6(Ljava/lang/String;)Lptolemy/kernel/ComponentRelation; outputNameSetproject7(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;)VtypenameDuplicationportNamenameDifference relations portNames&reacheableAlternatingSimulation(Ljava/util/Set;Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;)Ljava/util/Set;subDestinationnewPair subTransitionsubLabelsubPortsubTransitionssuperTransitionsuperDestination superLabel currentPair superPortsuperTransitionsalternatingSimulationsuperAutomaton superInitial subInitialreacheableSimulationrenameTransitionLabels(Ljava/util/Map;)VparamLptolemy/data/expr/Parameter;endingoldLabellength oldLabelName newLabelNameoldNamenewNamenameMapLjava/util/Map; _addRelation%(Lptolemy/kernel/ComponentRelation;)Vrelation"Lptolemy/kernel/ComponentRelation; _addState(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Lptolemy/domains/modal/kernel/State;Lptolemy/domains/modal/kernel/State;Ljava/util/HashMap;)Lptolemy/domains/modal/kernel/State;triple;Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton$Triple;product stateInThisstateInArgumentLjava/util/HashMap;_addTransition(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Ljava/lang/String;Lptolemy/domains/modal/kernel/State;Lptolemy/domains/modal/kernel/State;Ljava/lang/String;)V_checkLptolemy/actor/IOPort; attributeLptolemy/kernel/util/Attribute;C_checkComposabilitymessage thisInternals thatInputs thatOutputs thatInternals thisInputs thisOutputs_computeProductdestinationInProductdestinationInArgumentoutNamedestinationsInArgumentinNamedestinationInThistransitionNamedestinationsInThisisStateInProductIllegalstateInProduct]>$_computeTransitionNamesInCompositionsharedsharedOutputNameSet_condition1Satisfied(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Lptolemy/domains/modal/kernel/State;Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Lptolemy/domains/modal/kernel/State;)ZinputLabelsInSuperinputLabelsInSuboutputLabelsInSuperoutputLabelsInSub_condition2Satisfied(Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Lptolemy/domains/modal/kernel/State;Lptolemy/domains/modal/kernel/ia/InterfaceAutomaton;Lptolemy/domains/modal/kernel/State;Ljava/util/Set;)ZdestinationInSuperdestinationInSubinCurrentSimulationdestinationsInSubdestinationsInSupercurrentSimulationconsideredTransitionLabels consideredOutputTransitionLabels _createPorts_getDestinationStates _isTransient'(Lptolemy/domains/modal/kernel/State;)Z_pruneIllegalStates_removeStateAndTransitions'(Lptolemy/domains/modal/kernel/State;)V_removeUnreacheableStatesLjava/lang/Object;reacheableStatesunreacheableStates_transitionLabelsFrom6(Lptolemy/domains/modal/kernel/State;I)Ljava/util/Set; SourceFileInterfaceAutomaton.java   E *+ ijI*+, yz *L+{+M, N-- d :- (*:Y*:.- %*:Y*:ALYY+LYY+f "/8CHTZfqv\ Cqk"f/Y $ O*B^C`** !"L*#M,,"N-$:%::&':(-):%::&':(-+z*: +:  :   d :  : Y - :Y.-.:*-/**  0AMYY1,MYY1,!@-",29<GJMW`cips~ !"3@AR_,29<isr k d U N 3 "A`QI  0      {  B^ ;*+2  (*3+3*+4*+5*+6N*7-8*-9-&  #&*-!1&3*((( *3+3:Y;M*#N-W-":+#:4":*+<=Y>:,?Wȧ:Y;:@,A:7=:B:C:*+,D ?W,EWF,nLMOSU#V.W9YCZO\[^h_qatbwgjlnopqsuwyz| h O".F9;%Gb'   7 :!"V*G YHI:Y;L*#M,+,"N-):%& +-?W+. #,6<IQT46<V=!#3 -#$ :Y;M:Y;N,+?W-+?W-F-A:":-JW):%:C:(6  '+: , K, ?W- ?W},Z )1=FMYceov|p  o1v*%& 1r=f'MVYJ()*A   8      F    +,j {:Y;N*+L:A:Z":):%:.:  ,M +: - ?WΧ-B".5AKMWcjsvyp j - W .H.5AA5({{{/s0l)c1  (  12$J*+NM*+LN-+JW-A:$":*N:,OW,*   ' 3 < EHH33< 4JJC5 =)-  *6$J*+NM*+LN-+JW-A:$":*N:,PW,*  !#'$3%<'E(H*H33< 4JJC5 =)-  *73*Q 56 89CmRYY*STUL*VM*WN*X:+YY*#&Z[Y*&Z\Y,]Z^Y-]Z_Y]Z`abW,A:,+YcdTbW+ebW-A:,+YcdTbW+fbWA:,+YcdTbW+gZKM#N(O.QRRhS{TUQXZ[^_ab%e,f5h?ihl>mO:;#J<(E=.?>  ?   222@"5:Y;L*hM,,iN+-j?W+stvw%x0y3{*% A5-B#   C"R:Y;L*M,8,N- :k  d :+?W+. %+5DMP>D %(+"RJB@  :DEG*l& @FE\*#L+&   @GH(*mnY*+oM,N*mp-:*mp  ((\IJ"5:Y;L*qM,,iN+-j?W+%03*% A5-B#   KLP*3+3*VM,*WPW,+VEW,+WEW*N-`-: : d :,K1(6 rYks,A:/t:*:u:Yvͱn #.8ABLSbmt   z t'M&LOSHb9 NOA P8Q7Re8 F      &   S  TUQ+wN,w:=Y->:*K :Y;:Y;::Y;:?W?WFA:=:  JW B:  C:  ):  %:   :+: :(6  ):%:b: :MB+:=Y>:*K#K?W?W;=Y >:*K#K?W?W ):%:^:(6B+:=Y >:*K#K?W?WN@:; <>"A*E3F<GFHPKZOcPoQySTVWXZ[\]^`befgijkln o pqt-u5v?wIzL{O}\ks}88V+WPXIYuZi[\+W\]^%&8V+WLXE%&co_  { t` ha qZe[bcd e3f<**  g%  I     g  g   5     g  g     e7     g  g    a     g  hi  *M,,N- : 6d :+xt:d :Y: -r s M M*:   y,kM*z{:  | Y}B*lM,.,iN-j:+xt: -yϱ~ #*6CHUkt  A jk Uslk] #m*n&6oCpAq r  st B }  u  u 0vwb+Y*+~*+xyz{VY,--:+!":'"Y+:Y,-:W"   */;ISRI |}VV~VVV*7*, S 1+,:Y+o:-)$rs "#&$0%R111111**L+/+M, N-- d :- J*: /YY*S-I- J*: /YY*S-Ip-k G*z: {/YY*S-I#YY-*VM*WN,-OW,F+YY*SI*VM*X:,OW,F+YY*SI-OW-F+YY*SI)1 3456"7/98:C<P=a?|DEGHJOPRSUZ[<_?bDcIdQfZgkhlnoqrswyz{~p C999"/  D<I=u>M E + ++B  D 9L Y*S+SM*XN+V:+W:+X:-OW-OW-OWFF F(YY,I+X:*V:*W:*XNOWOW-OWFF -F(YY,I*V:+V:OWF#YY,I*W:+W:OWF#YY,I" (-39?HQZpx)3SY_is\ (l-g3a9[?U+x      $P  $??7*:Y;,YN-Y*-+Y:*w:+w:Y-:"Y-:-sY:  WSA:  t::  : : :6 ):  %:    :+: : d :(6*K"*-:*-*0:Y:*:FlA:Y":*-:*-Y*-+Yk0o*K"*-:*-*0qY :*:F*?W6 2"*-:*-*0 YX):  %:    :+: : d :(6*K"*-:*-+0:Y:*:FlA:Y":*-:*-Y*-+Yk0o*K"*-:*-+0qY :*:F*?W6 2"*-:*-+0 YX7/YYI):  %:    :+: : d :(6=YY*I*K"*-:*-*0ڻY :*:FoA:Y":*-:*-Y*-+Yk0*?W6 2"*-:*-*0 Yx):  %:   z :+: : d :(68YY+I*K"*-:*-+0ڻY :*:FoA:Y":*-:*-Y*-+Yk0*?W6 2"*-:*-+0 Y}-NYY-1 34(51447=:C;I<_=j>v?ACFJKLMNOQSTVWXZ[\^&b-e2f7e<iCkHmVpcsrvuxy| ,;>T^kwz}!03IS]_fpr|  )58;A N#]&`'j+m,p/z01347:;<>@ACDHKLKOQ ST)UEWKYY\f_ucxefilmopqrvx{v  &3BEORU\ahwy*4>@GQS]jtIcG:`0}s,T&^&-/<pCi%&!|G:f`0I}Ss&N/pi%&u i( fG:`03mf_/PI%& ( ]Gj:G`0*4haZ/KD%&\ h( A  ~=*CIjv}d|} 5       W p        2 _2, $        p        2 _2, $        ; }        22 _$         x        22 _$                 L1*VM+WN,-OW*W:+V:OW,PW**V*+VPW*,EW**W*+WPW*,EW**X*+XPW*,PWF    (19GRZhs{> }w 4*+:,-:*+:,-:. +,- .0145#6%7*8R4c444-&#*    _*+:,-:PWA:t:,-: *+:  A:  ] ": 6  A:1":=Y >:K 6  krEFG HIK!M+N7O@QDRIWRY\Zh[k\t^~_`cdegijlmohK kH t?7@v Im Rd c!5h!  0          ! 4       LU*AM,!,tNY+-:*AM,!,tNY+-:ܧ"MYY,beFw yz{(|.}1;DNY_befwR(NY Xf & &B,Q:Y;N+):%:.: :,M-+?W-. $&07@LOR07/QQQI0C7  1 a*L+ ޻:Y;L*AM,+,?W+F+AM,"N+-JW-$:%:O:(6 -*:*K*?W+?Wv*AM,,"N*-/n+4;EMS_iku|f #u=|6%&Ep'Sb_V(*(  3  () +$M,%N--:ħ+):%N--:ħ+ŧAMYYƶ,MYYǶ,_b_^#),2= F G Q W Z_bct \ #yQyZP(2-c(    ^ *wL M**ɱ:Y;M:Y;N,+?W-+?W-Fs-A:":-JW):%:6:+: , K, ?W- ?WƧ*#::Y;::$:,K ?WA:":*/'=D> A BCFG"H*I2L;OCPOQXT_UkWuXwYZ\]^`adjkmnpqsuwx yz{ $ CeOY'_Ik=( "*f]TY H    8      9      ' R:Y;N+):%:/:(6 :-?W-2 $&07=DMP\ D 07M&RRR%&J4D8(  2,