Êþº¾1¤/aima/logic/propositional/algorithms/PLFCEntailsjava/lang/ObjectcountLjava/util/Hashtable; SignaturefLjava/util/Hashtable;inferredWLjava/util/Hashtable;agendaLjava/util/Stack;@Ljava/util/Stack;()VCode  java/util/Hashtable     java/util/Stack  LineNumberTableLocalVariableTablethis1Laima/logic/propositional/algorithms/PLFCEntails; plfcEntailsH(Laima/logic/propositional/algorithms/KnowledgeBase;Ljava/lang/String;)Z+aima/logic/propositional/parsing/ast/Symbol%(Ljava/lang/String;)V ' &(c(Laima/logic/propositional/algorithms/KnowledgeBase;Laima/logic/propositional/parsing/ast/Symbol;)Z #* +kb3Laima/logic/propositional/algorithms/KnowledgeBase;sLjava/lang/String;1aima/logic/propositional/algorithms/KnowledgeBase1 getSentences()Ljava/util/List; 34 25 asHornClauses"(Ljava/util/List;)Ljava/util/List; 78 9pop()Ljava/lang/Object; ;< =java/lang/Boolean?TRUELjava/lang/Boolean; AB @Cput8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object; EF Gjava/util/ListIget(I)Ljava/lang/Object; KL JM:aima/logic/propositional/algorithms/PLFCEntails$HornClauseOpremisesContainsSymbol0(Laima/logic/propositional/parsing/ast/Symbol;)Z QR PSdecrementCount?(Laima/logic/propositional/algorithms/PLFCEntails$HornClause;)V UV W countisZero?(Laima/logic/propositional/algorithms/PLFCEntails$HornClause;)Z YZ [head/()Laima/logic/propositional/parsing/ast/Symbol; ]^ P_equals(Ljava/lang/Object;)Z ab &cpush&(Ljava/lang/Object;)Ljava/lang/Object; ef gsize()I ij Jk R mjava/util/Vectoro pkq-Laima/logic/propositional/parsing/ast/Symbol; hornClausesLjava/util/List;piI hornClause;`(Ljava/util/List;)Ljava/util/List;java/util/ArrayList~ -aima/logic/propositional/parsing/ast/Sentencec(Laima/logic/propositional/algorithms/PLFCEntails;Laima/logic/propositional/parsing/ast/Sentence;)V ƒ P„add †b J‡ sentencessentence/Laima/logic/propositional/parsing/ast/Sentence;clause Kf java/lang/IntegerintValue ‘j ’(I)V ” •value cLjava/lang/Object;access$0D(Laima/logic/propositional/algorithms/PLFCEntails;)Ljava/util/Stack; Syntheticaccess$1H(Laima/logic/propositional/algorithms/PLFCEntails;)Ljava/util/Hashtable;access$2 SourceFilePLFCEntails.java InnerClasses HornClause!    `&*·*»Y·µ*»Y·µ*»Y·µ±% &!"#$L*+»&Y,·)¶,¬" !"-./0#*J’*+¶6·:N§}*´¶>À&:§e*´²D¶HW6§G-¹NÀP:¶T™-*·X*·\™¶`,¶d™¬*´¶`¶hW„-¹l¡ÿ´*·n™ÿ˜*´¶qšÿ¬F% & '()(+.,;-E.K/T0`1b3o+}(†&: H’!"’-.’rs ‰tunvs+Rwx;4yz{  ‰t|78}Æ@»Y·€M>§*+¹NÀ‚À‚:»PY*·…:,¹ˆW„+¹l¡ÿÒ,°>? @A(B1?>D >@!"@‰u8tu 4wxŠ‹( Œz{ 8t|YZI*´+¶ŽÀ¶“š¬¬I !"yzUVi#*´+¶ŽÀ¶“=*´+»Yd·–¶HW±MN"P #!"#yz—x R]*´+¶ŽM,Æ,²D¶˜š¬¬ S T !"vs —™š›%*´° œž%*´° œŸž%*´° œ ¡¢ P£