2   %  % %  %  %  %  %    % % % !  % %  % % % , , % %" % %  % %   % % = % = = =    G  % %  %   R R % R Q % \ _ % G % x R     R       x _ % \ Q     %    % !" !#$% & '  ( )* + ,-./ 012 34 45 =6 !7   %8 9: 9;<= > ? @ A BC D E F G H IJ %KLM NO PQ R ST UV WXYZ [  \ ] ^_` ab c defgConstraintType InnerClassessolvingFixedPoint#Lptolemy/data/expr/StringParameter;solverStrategyADD_FUNCTION_NAMELjava/lang/String; ConstantValuehSUBTRACT_FUNCTION_NAMEiMULTIPLY_FUNCTION_NAMEjDIVIDE_FUNCTION_NAMEkNEGATE_FUNCTION_NAMElRECIPROCAL_FUNCTION_NAMEmNOT_FUNCTION_NAMEnAND_FUNCTION_NAMEoOR_FUNCTION_NAMEp_initialConstraintListLjava/util/List; Signature,Ljava/util/List;_resolvedConstraintList_resolvedUnacceptableList0Ljava/util/List;_annotatedObjectsLjava/util/HashSet;'Ljava/util/HashSet;_constraintManager3Lptolemy/data/ontologies/lattice/ConstraintManager;_conceptTermManager4Lptolemy/data/ontologies/lattice/ConceptTermManager;_trainedConceptRecordArrayLptolemy/data/expr/Parameter;_namedObjLabel _conceptLabel_trainedConceptRecordLabels[Ljava/lang/String;3(Lptolemy/kernel/util/NamedObj;Ljava/lang/String;)VCodeLineNumberTableLocalVariableTablethis7Lptolemy/data/ontologies/lattice/LatticeOntologySolver; containerLptolemy/kernel/util/NamedObj;name Exceptionsqclone3(Lptolemy/kernel/util/Workspace;)Ljava/lang/Object; workspaceLptolemy/kernel/util/Workspace; newObjectrgetAffectedTerms0(Lptolemy/graph/InequalityTerm;)Ljava/util/List; updateTermLptolemy/graph/InequalityTerm;P(Lptolemy/graph/InequalityTerm;)Ljava/util/List;getConstraintManager5()Lptolemy/data/ontologies/lattice/ConstraintManager;getInitialSolverInformation()Ljava/util/Hashtable;initialSolverConstraintsinitialSolverInfoLjava/util/Hashtable;LocalVariableTypeTable;Ljava/util/Hashtable;=()Ljava/util/Hashtable;getResolvedSolverInformationresolvedSolverConstraintsresolvedSolverInfo StackMapTable getAdapterb(Lptolemy/data/expr/ASTPtRootNode;)Lptolemy/data/ontologies/lattice/LatticeOntologyASTNodeAdapter;node!Lptolemy/data/expr/ASTPtRootNode;I(Lptolemy/kernel/util/NamedObj;)Lptolemy/data/ontologies/OntologyAdapter; component=(Ljava/lang/Object;)Lptolemy/data/ontologies/OntologyAdapter;objectLjava/lang/Object;getConceptTerm2(Ljava/lang/Object;)Lptolemy/graph/InequalityTerm;getConceptTermManager6()Lptolemy/data/ontologies/lattice/ConceptTermFactory;hasUnacceptableTerms()Z initialize()VtopleveltoplevelAdapter8Lptolemy/data/ontologies/lattice/LatticeOntologyAdapter;isAnnotatedTerm(Ljava/lang/Object;)ZisLeastFixedPointresetresolveConceptstest conceptRecordLptolemy/data/RecordToken;conceptableFullName conceptabletrainedConceptStringinferredConcept!Lptolemy/data/ontologies/Concept;trainedConceptTokenLptolemy/data/Token;trainedConceptRecordsArray[Lptolemy/data/Token; allNamedObjsLjava/util/Set;trainedConceptsArrayTokenLptolemy/data/ArrayToken;/Ljava/util/Set;sIteutrain recordArraytrainedConceptsptolemy/data/RecordToken;indexI\vgetUnacceptableTermsAsString()Ljava/lang/String;termoutputLjava/lang/StringBuffer;getUnacceptableTerms()Ljava/util/List;2()Ljava/util/List; _clearLists _getAdapteradapterDefinitionAttributeELptolemy/data/ontologies/lattice/ActorConstraintsDefinitionAttribute;modelDefinedAdaptersex,Lptolemy/kernel/util/IllegalActionException;adapter)Lptolemy/data/ontologies/OntologyAdapter;WLjava/util/List;$w_getConceptTermManager6()Lptolemy/data/ontologies/lattice/ConceptTermManager;_resolveConcepts1(Lptolemy/kernel/util/NamedObj;Ljava/util/List;)VvariablelesserVariables[Lptolemy/graph/InequalityTerm;greaterVariables inequalityLptolemy/graph/Inequality;latticeLptolemy/graph/CPO;solver Lptolemy/graph/InequalitySolver;constraintList conflictsx=C}M(Lptolemy/kernel/util/NamedObj;Ljava/util/List;)V_getConstraintTypeH()Lptolemy/data/ontologies/lattice/LatticeOntologySolver$ConstraintType;strategy fixedPoint _addChoices_getConceptableFromFullNameA(Ljava/lang/String;Ljava/util/Set;)Lptolemy/kernel/util/NamedObj; modelElementfullNameallConceptableNamedObjsa(Ljava/lang/String;Ljava/util/Set;)Lptolemy/kernel/util/NamedObj;_getConstraintsAsString$(Ljava/util/List;)Ljava/lang/String;@(Ljava/util/List;)Ljava/lang/String; _setTrainedConceptsParameterType typeArray[Lptolemy/data/type/Type;conceptRecordTypeLptolemy/data/type/RecordType;conceptRecordArrayTypeLptolemy/data/type/ArrayType; SourceFileLatticeOntologySolver.java java/util/HashSet 5 1ptolemy/data/ontologies/lattice/ConstraintManager y +ptolemy/data/ontologies/OntologySolverModel z { |!ptolemy/data/expr/StringParameter forward }~ leastptolemy/data/expr/Parameter     5 5_iconDescription Double click to Apply Ontology 4ptolemy/data/ontologies/gui/OntologySolverGUIFactory _LatticeOntologySolverGUIFactory   5ptolemy/data/ontologies/lattice/LatticeOntologySolver   45 java/util/Hashtable   k+=ptolemy/data/ontologies/lattice/LatticeOntologyASTNodeAdapter 01 ./ wx w 3  %)6ptolemy/data/ontologies/lattice/LatticeOntologyAdapter 5    h : b :greatest*ptolemy/kernel/util/IllegalActionException?Invalid fixed point type. Must be one of 'least' or 'greatest'. ~ <5 j5 yz 5 5 5 ptolemy/data/ArrayTokenjava/lang/StringBuilderThe  b3 ontology solver has not been trained for ontology 5concept resolution, so its analysis cannot be tested. b  ptolemy/data/RecordTokenNamedObj ptolemy/data/StringToken The full name - does not refer to a valid model object that 'can be resolved to an ontology concept. Concept Testing failure at  Expected '' but did not infer anything.u ' but got ' ' instead.tUSome of the conceptable model elements do not have trained concept values. They are:   v 3 ptolemy/kernel/util/NamedObjptolemy/data/Token b   java/lang/StringBufferptolemy/graph/InequalityTerm  java/util/ArrayList  : 'ptolemy/data/ontologies/OntologyAdapterCptolemy/data/ontologies/lattice/ActorConstraintsDefinitionAttribute   ptolemy/kernel/ComponentEntity  k%ptolemy/domains/modal/kernel/FSMActor>ptolemy/data/ontologies/lattice/LatticeOntologyModalFSMAdapter ptolemy/kernel/CompositeEntity?ptolemy/data/ontologies/lattice/LatticeOntologyCompositeAdapter ptolemy/data/expr/ASTPtRootNode  2ptolemy/data/ontologies/lattice/ConceptTermManager  3 pThis Ontology is not a lattice, and therefore we cannot resolve the model using the least fixed point algorithm.ptolemy/graph/InequalitySolver    3 3ptolemy/graph/Inequality  :    33ptolemy/data/ontologies/OntologyResolutionException 6!Properties conflicts occurred in  on the following inequalities: FConcept resolution failed because of an error during concept inference backward   bidirectional none .Cannot understand solver strategy. Strategy: "" Fixed Point: " ~ :ptolemy/data/type/Type ptolemy/data/type/RecordType ptolemy/data/type/ArrayType  java/lang/String&ptolemy/data/ontologies/OntologySolverDptolemy/data/ontologies/lattice/LatticeOntologySolver$ConstraintType addFunctionsubtractFunctionmultiplyFunctiondivideFunctionnegateFunctionreciprocalFunction notFunction andFunction orFunction,ptolemy/kernel/util/NameDuplicationException$java/lang/CloneNotSupportedExceptionjava/lang/Throwable java/util/Setptolemy/data/ontologies/Conceptjava/util/Iteratorjava/util/Listptolemy/graph/CPO:(Lptolemy/data/ontologies/lattice/LatticeOntologySolver;)V!()Lptolemy/kernel/util/Workspace;J(Lptolemy/data/ontologies/OntologySolver;Lptolemy/kernel/util/Workspace;)V_model setExpression(Ljava/lang/String;)Vptolemy/kernel/util/SettableNONE Visibility)Lptolemy/kernel/util/Settable$Visibility; setVisibility,(Lptolemy/kernel/util/Settable$Visibility;)V setPersistent(Z)V _attachText'(Ljava/lang/String;Ljava/lang/String;)V getAttribute3(Ljava/lang/String;)Lptolemy/kernel/util/Attribute;put8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object; invokeSolver2ptolemy/data/ontologies/lattice/ConceptTermFactoryisEmpty _toplevel ()Lptolemy/kernel/util/NamedObj; reinitialize_setConnectionConstraintTypeI(Lptolemy/data/ontologies/lattice/LatticeOntologySolver$ConstraintType;)V_addDefaultConstraintscontains stringValueequalsptolemy/kernel/util/WorkspacegetWriteAccess doneWritinggetToken()Lptolemy/data/Token;append-(Ljava/lang/String;)Ljava/lang/StringBuilder;getNametoString arrayValue()[Lptolemy/data/Token;getAllConceptableNamedObjs()Ljava/util/Set;get((Ljava/lang/String;)Lptolemy/data/Token;3(Lptolemy/kernel/util/Nameable;Ljava/lang/String;)V getConcept5(Ljava/lang/Object;)Lptolemy/data/ontologies/Concept;(C)Ljava/lang/StringBuilder;-(Ljava/lang/Object;)Ljava/lang/StringBuilder;size()Iiterator()Ljava/util/Iterator;hasNextnext()Ljava/lang/Object; getFullName+([Ljava/lang/String;[Lptolemy/data/Token;)V([Lptolemy/data/Token;)VsetToken(Lptolemy/data/Token;)Vjava/lang/Object_eol,(Ljava/lang/String;)Ljava/lang/StringBuffer; _adapterStoreLjava/util/HashMap;java/util/HashMap containsKey&(Ljava/lang/Object;)Ljava/lang/Object; attributeList#(Ljava/lang/Class;)Ljava/util/List;actorClassNamegetClass()Ljava/lang/Class;java/lang/Class createAdapter(Lptolemy/kernel/ComponentEntity;Lptolemy/data/ontologies/lattice/LatticeOntologySolver;)Lptolemy/data/ontologies/lattice/ActorConstraintsDefinitionAdapter;*ptolemy/data/ontologies/OntologySolverBasei(Ljava/lang/Object;Lptolemy/data/ontologies/OntologySolverBase;)Lptolemy/data/ontologies/OntologyAdapter;a(Lptolemy/data/ontologies/lattice/LatticeOntologySolver;Lptolemy/domains/modal/kernel/FSMActor;)VZ(Lptolemy/data/ontologies/lattice/LatticeOntologySolver;Lptolemy/kernel/CompositeEntity;)V[(Lptolemy/data/ontologies/lattice/LatticeOntologySolver;Lptolemy/data/expr/ASTPtRootNode;)VL(Lptolemy/data/ontologies/lattice/LatticeOntologySolver;Ljava/lang/Object;)V getOntology$()Lptolemy/data/ontologies/Ontology; ptolemy/data/ontologies/Ontology isLatticegetConceptGraph(()Lptolemy/data/ontologies/ConceptGraph;(Lptolemy/graph/CPO;)VaddInequalities(Ljava/util/Iterator;)VsetConstraints(Ljava/util/List;)V solveGreatest solveLeast isSatisfied(Lptolemy/graph/CPO;)Zadd getLesserTerm ()Lptolemy/graph/InequalityTerm; getVariables!()[Lptolemy/graph/InequalityTerm;getGreaterTermisValueAcceptable_(Lptolemy/data/ontologies/OntologySolverBase;Lptolemy/kernel/util/Nameable;Ljava/lang/String;)Vt(Lptolemy/data/ontologies/OntologySolverBase;Lptolemy/kernel/util/Nameable;Ljava/lang/Throwable;Ljava/lang/String;)VSINK_GE_SOURCEFLptolemy/data/ontologies/lattice/LatticeOntologySolver$ConstraintType;SOURCE_GE_SINKEQUALS addChoiceremoveptolemy/data/type/BaseTypeSTRING StringType'Lptolemy/data/type/BaseType$StringType;/([Ljava/lang/String;[Lptolemy/data/type/Type;)V(Lptolemy/data/type/Type;)V setTypeEquals'ptolemy/kernel/util/Settable$Visibility%ptolemy/data/type/BaseType$StringType!%]f*+,*Y*Y**Y** * Y* ** Y***Y****** !Y*"#WB]`-g;hDjRk[miosp{qsu{|   G   /*+$%M,Y,Y,,,&,  $- // & = *'+(   G/* *)***+L,Y-M,.+/W,       G !,*0*1**0+L,Y-M,2+/W*0, %*  ,"# #$  G %&= *+34.  '( G%):*+3<* G%+:*+3J,- G./? *5+6b  ,-01O*' **7'*'lmo $23V*8*89z {|~ $45/*:*;L*+<=M,>,*?@,*?A*,B*" &. / &678 G9:= *+C  ,-;3p,*DE*DFEGYHI " ,$ G<5D*J*K*'  =5K*;L*+**L 6 G>5; * M*N* O L* O+*PQL++GYRYSTU*VUWUXUYI+ZM*[N,:66 2:\:]^_`: * -a:  *GY*RYSbU UcUdUYef^_`: * g:  G  hEGY RYSiU jU klU UmUYe n EEGY RYSiU jU klU UoU nUpUYe-qGY*RYSrU-sYe # #*.VW[`y$ 1 Easyf ?@A B C DE yFG[CHI`>JK*uLM `>JN$p UO 6PQPRSRX QPRSRTUVW_VXNQPRSR$ GY5 * M*N*[L+t\M>+u:vjwx:*g:y:_Yz{S_Y{S_Yn{S\Y|}:,S*QY,~* O: * O V)* +-./:0B2H3X4]5l7|9<=>?ABACRBPDEHJZI?@:XBJK[\]^ JN$B$QS_`GWXRQS_QO  Gab\YL*8K*89?*8M,v,,wN+RYS-UUYW+mopq8rTsWv 8c\Tde$%f`1 Ggh/*8 ij5L***0*Y8  k+M*+*+* N-:v;w:_`+E+*M, +*MN,R+Y*+M;+Y*+M$+4Y*+M =Y*+M*+,W,tz}Gn "&DISY_jmptz}~>D)lm&Jn~op*-qr &Jns$ tu`>Lv  Gwx3 Y*  yzF}YN,#:**:GY*eY:,*,*DFE W W*,0,:vw:-W:: :  6 6   &  2:  *8 W  :  6 6   &  2:  *8 W ٧P-2Y**RYSU*zUU-sY:Y*+ilG$*5!@%K&S)b*k,q/v578<=?@CDECJKL(J.P1T:UPWikldnh|mz { { x|}l~} @nop}}6}u}u${*u 5 `+# QWuu`# #QWuu`7Bv .*DL*DM+E ,E+E,FE+E ,E+E,FE+E+E°GYRYSöU+UĶUŶU,U"kYI6 {|}%~48M\`imvz $"VV  G5y7******FƱ $-6 7 G8,uN-v)-wx:z+E,W'036*888K 8N$ `+HYM+N-v.-w:,RYSȶUUYW,#@C*#HH@de H$f`3 G5/L+S+SY|+MY,N*-ϱ &.*/*&  G5*Y]SYfS|%@ ^