2F V U U  U U U U U  U  % %  6 V  % V %   ( ( ( ( %  V  6 8  U = V  = =  V    %   U U U U U U_bottomConcept7Lptolemy/data/ontologies/lattice/ProductLatticeConcept; _cachedGLBsLjava/util/Map; SignatureeLjava/util/Map;Lptolemy/data/ontologies/Concept;>; _cachedLUBs _ontologyListLjava/util/List;4Ljava/util/List;_productOntology8Lptolemy/data/ontologies/lattice/ProductLatticeOntology; _topConcept;(Lptolemy/data/ontologies/lattice/ProductLatticeOntology;)VCodeLineNumberTableLocalVariableTableex,Lptolemy/kernel/util/IllegalActionException;this3Lptolemy/data/ontologies/lattice/ProductLatticeCPO;productOntology StackMapTablebottom#()Lptolemy/data/ontologies/Concept;compare'(Ljava/lang/Object;Ljava/lang/Object;)IeoppositeResultI tupleOntology"Lptolemy/data/ontologies/Ontology; comparisonie1Ljava/lang/Object;e2 leftArgTuple rightArgTuple tupleSizenumSame numHighernumLowerLocalVariableTypeTable3Ljava/util/List;downSetL(Ljava/lang/Object;)[Lptolemy/data/ontologies/lattice/ProductLatticeConcept;cg&Lptolemy/data/ontologies/ConceptGraph;c!Lptolemy/data/ontologies/Concept;newLayerintermediateResultoldLayerconceptspcproductConceptdownSetsproductLatticeConceptsresultELjava/util/List;>;ILjava/util/List;greatestLowerBoundG(Ljava/lang/Object;Ljava/lang/Object;)Lptolemy/data/ontologies/Concept;ithGLBglbTupleinputsglbnonLatticeReasonC()Lptolemy/data/ontologies/lattice/NonProductLatticeCounterExample;ontologyleastUpperBoundithLUBlubTuplelubtop _findBottom()VconceptNameBufferLjava/lang/StringBuffer;productLatticeConceptNameLjava/lang/String;_findTop_validateInputArguments'(Ljava/lang/Object;Ljava/lang/Object;)V*()Lptolemy/graph/NonLatticeCounterExample;6(Ljava/lang/Object;)[Lptolemy/data/ontologies/Concept;()Ljava/lang/Object;8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;'(Ljava/lang/Object;)[Ljava/lang/Object; SourceFileProductLatticeCPO.java d ab  ^_*ptolemy/kernel/util/IllegalActionException"java/lang/IllegalArgumentExceptionnInvalid product lattice ontology; could not get the list of tuple ontologies for the product lattice ontology. d java/util/HashMap YZ ]Z WXptolemy/graph/CPO'ptolemy/data/ontologies/InfiniteConceptptolemy/data/ontologies/Concept t  5ptolemy/data/ontologies/lattice/ProductLatticeConcept     ! "# tujava/util/ArrayList $% &' ( ) *+ ,-java/util/List d. /0java/lang/StringBuilderGProductLatticeCPO: Argument's ontologies do not match this CPO: arg = 12 13, CPO = 45 678[Lptolemy/data/ontologies/lattice/ProductLatticeConcept;8 9 d: ;rCould not create the product lattice concept greatest lower bound from the component greates lower bound concepts. ptolemy/data/ontologies/Ontology <'?ptolemy/data/ontologies/lattice/NonProductLatticeCounterExample d= >mCould not create the product lattice concept least upper bound from the component least upper bound concepts. cXjava/lang/StringBuffer rs ?5 1@ AB sQProductLatticeCPO: Arguments are not instances of ProductLatticeConcept: arg1 =  , arg2 = dC D-BAttempt to compare elements from two distinct ontologies: arg1 = E'hAttempt to compare ProductLatticeConcept elements where one does not have a valid concept tuple: arg1 = hAttempt to compare ProductLatticeConcept elements where one does not have a valid concept tuple: arg2 = Attempt to compare ProductLatticeConcept elements that do not have the same size concept tuple arrays even though they are in the same Ontology. This is an error. arg1 = 1ptolemy/data/ontologies/lattice/ProductLatticeCPO$ptolemy/data/ontologies/ConceptGraph6ptolemy/data/ontologies/lattice/ProductLatticeOntologyjava/lang/Objectjava/util/IteratorgetLatticeOntologies()Ljava/util/List;*(Ljava/lang/String;Ljava/lang/Throwable;)V$(Lptolemy/data/ontologies/Concept;)I"ptolemy/graph/DirectedAcyclicGraphreverseCompareCode(I)IgetConceptTuplesize()Iget(I)Ljava/lang/Object; getOntology$()Lptolemy/data/ontologies/Ontology;getConceptGraph(()Lptolemy/data/ontologies/ConceptGraph;iterator()Ljava/util/Iterator;hasNext()Znextjava/util/ArraysasList%([Ljava/lang/Object;)Ljava/util/List;add(Ljava/lang/Object;)Z(Ljava/util/Collection;)V!getProductLatticeConceptFromTupleI(Ljava/util/List;)Lptolemy/data/ontologies/lattice/ProductLatticeConcept;append-(Ljava/lang/String;)Ljava/lang/StringBuilder;-(Ljava/lang/Object;)Ljava/lang/StringBuilder;toString()Ljava/lang/String;toArray(([Ljava/lang/Object;)[Ljava/lang/Object; java/util/Map&(Ljava/lang/Object;)Ljava/lang/Object;(I)Vput isLattice%(Lptolemy/data/ontologies/Ontology;)VD(Lptolemy/data/ontologies/Concept;)Lptolemy/data/ontologies/Concept;getName,(Ljava/lang/String;)Ljava/lang/StringBuffer; getEntity4(Ljava/lang/String;)Lptolemy/kernel/ComponentEntity;(Ljava/lang/String;)VequalsisEmpty!UVWXYZ[\]Z[\^_[`abcXdefB**+**MY,* * * Y * Y  g. EF HNIJ#P'Q+R6SATh  ijBklBmbnopq rsf/*gah kltuf +,++,N,,+>N*+,+N,:-66666  T- :  -  6        ` `'78g(st wyz{ }'/389;AEIMRZ]`cm}hvj3wx9vj};yz {x fX|x kl}~~I_R_Zx]x`xcxIRn<RqWq* o= f {*+++MYN,: 1!::"#:-$W˻Y:Y$W-: !%::Y:: S!: :  1 !%: Y &:   $W $W˧zY:: N!%:*'$W+:Y(Y)*++,-+*,./0'8;g~ 4>JSV_n'/28;=cfh>J _4_ _ A l_p_=&ij'<_{kl{v~ pXh___s_\ J   lp'<h_sni 7+7)oq'fY ѻYN-+$W-,$W* -1:*+,+:,:6Y2:6  @ :    3:  $W *':* -4W: Y5 gn-28<AEJS ^ h y  h y&yz aD|x ij A_J_S{x^p_kl}~~_-*AJ^pn@a oCZq of2*L+  +!6M,7 8Y,9g)*$+--0.hz2kln  "f YN-+$W-,$W*-1:++,:,,+:*+,+:,:6Y2:6  @ :    3:  $W *':*-4W: Y; g~=>?A-B2C9DEELFXI^JbKgLkMpNyPQRSTUTVQYZ[a\]ch &yz D|x ij g_p_y{xp_kl}~~_-*gppnJE. oCZq osf/*<gnh klfL=Y>L*M, ,!6N+-?@AW+BM**,Cg* wx%y-z0y4{7|<}B~Kh*%zLklD<n$fL=Y>L*M, ,!6N+-D@AW+BM**,C<g& %'47<BKh*%zLklD<n$f+ ,'Y(Y)E++,F+,,.G+H,HI'Y(Y)J++,F+,,.G+N,:- -KY(Y)L++,.G KY(Y)M+,,.G-'Y(Y)N++,F+,,.GgF2=@Fjnrv{h4kl}~~r_{_r{n#73Af/*Og>h klAf0*+Pg>h klAf/*Qg>h klAf1*+,Rg>h klAf1*+,Sg>h klAf0*+Pg>h klArf/*Tg>h kl