Êşº¾2 /f gh ij .k il mn opq ors ft u 0v wxyz{ f| } ~ € . ‚ƒ„ …† ‡ˆ ‚‰ Š‹ ŠŒ g #€ € ‡‘’ *“” ,f•–— InnerClasses()VCodeLineNumberTableLocalVariableTablethis7Lptolemy/vergil/ontologies/ReportOntologyLatticeStatus;$showStatusAndHighlightCounterExampleX(Lptolemy/data/ontologies/Ontology;Lptolemy/vergil/ontologies/OntologyGraphController;)VnonLatticeExample(Lptolemy/graph/NonLatticeCounterExample; exampleTypeGraphExampleType9Lptolemy/graph/NonLatticeCounterExample$GraphExampleType;conceptsLjava/util/List;errorMessageBufferLjava/lang/StringBuffer; ontologyModel"Lptolemy/data/ontologies/Ontology;modelGraphController3Lptolemy/vergil/ontologies/OntologyGraphController; isLatticeZinvalidUnacceptablesLocalVariableTypeTable3Ljava/util/List; StackMapTable˜™š›qs_highlightErrors^(Lptolemy/vergil/ontologies/OntologyGraphController;Ljava/lang/StringBuffer;Ljava/util/List;)Vconcept!Lptolemy/data/ontologies/Concept;firstœ Signature(Lptolemy/vergil/ontologies/OntologyGraphController;Ljava/lang/StringBuffer;Ljava/util/List;)V_invalidUnacceptableConcepts4(Lptolemy/data/ontologies/Ontology;)Ljava/util/List;ontologycg&Lptolemy/data/ontologies/ConceptGraph;W(Lptolemy/data/ontologies/Ontology;)Ljava/util/List; SourceFile ReportOntologyLatticeStatus.java 23™ 3˜ HŸ ]^  ¡ ¢£› ¤§7ptolemy/graph/NonLatticeCounterExample$GraphExampleType ¨©java/lang/StringBuffer1The ontology model graph is not a valid lattice. ª« ¬­ ®¯*These concepts have no least upper bound: -These concepts have no greatest lower bound: (There is a cycle involving the concept: java/lang/StringBuilder%unknown lattice counterexample type: ª° ª±: ²³ TUš ´ŸIThere following unacceptable concepts are not at the top of the lattice: 2µ,The ontology model graph is a valid lattice.¶ ·µ ¸¹œ ºŸ »¼ptolemy/data/ontologies/Concept ½¾, . ¿µ'ptolemy/data/ontologies/DAGConceptGraph À©java/util/LinkedList5ptolemy/vergil/ontologies/ReportOntologyLatticeStatusjava/lang/Object7ptolemy/vergil/ontologies/ReportOntologyLatticeStatus$1 ptolemy/data/ontologies/Ontology1ptolemy/vergil/ontologies/OntologyGraphControllerjava/util/List&ptolemy/graph/NonLatticeCounterExamplejava/util/Iterator$ptolemy/data/ontologies/ConceptGraphclearAllErrorHighlights()ZgetConceptGraph(()Lptolemy/data/ontologies/ConceptGraph;nonLatticeReason*()Lptolemy/graph/NonLatticeCounterExample;getExampleTypeÁ ExampleType6()Lptolemy/graph/NonLatticeCounterExample$ExampleType; getNodeList()Ljava/util/List;append,(Ljava/lang/String;)Ljava/lang/StringBuffer;B$SwitchMap$ptolemy$graph$NonLatticeCounterExample$GraphExampleType[Iordinal()I-(Ljava/lang/String;)Ljava/lang/StringBuilder;-(Ljava/lang/Object;)Ljava/lang/StringBuilder;toString()Ljava/lang/String;isEmpty(Ljava/lang/String;)Vptolemy/util/MessageHandlermessageiterator()Ljava/util/Iterator;hasNextnext()Ljava/lang/Object;highlightError!(Lptolemy/kernel/util/Nameable;)VerrorcheckUnacceptableConcepts2ptolemy/graph/NonLatticeCounterExample$ExampleType!./2343*·±5 7a6 78 9:4Ë+¶*¶=*¸Nšœ*¶¶:¶À:¶ :» Y· : ¶ W²¶.ª;%0¶ W§8¶ W§-¶ W§"»Y·¶¶¶¶¶ W+¸§"-¹š+» Y·-¸§¸±5zDE FHIJKL%M,O5P9Q=S`UdVhWkYoZs[v]z^~_aœb f¨g´hÅlÇmÊo6R;<%ƒ=?,|@A5sBCËDEËFG ÂHI½JAK,|@L½JLM6ÿ`NOPQRPS ÿ NOP TU4óO>,¹ :¹!™/¹"À#:*¶$š +%¶ W+¶&¶ W>§ÿÍ+'¶ W+¶(¸)±5. ~ €&*‚1„;…=†@‡G‰NŠ64 VWOFGOBCO@AMXIK O@LMı Yü&Zù[\ ]^4j*¶L+Á*™ +À*¶+°»,Y·-°5“” •—6_E`aMüb[cde10o>@¥o¦