╩■║╛1╟:aima/logic/propositional/algorithms/PLFCEntails$HornClausejava/lang/ObjectpremiseSymbolsLjava/util/List; Signature?Ljava/util/List;head-Laima/logic/propositional/parsing/ast/Symbol;this$01Laima/logic/propositional/algorithms/PLFCEntails;c(Laima/logic/propositional/algorithms/PLFCEntails;Laima/logic/propositional/parsing/ast/Sentence;)VCode ()V +aima/logic/propositional/parsing/ast/Symbol /aima/logic/propositional/algorithms/PLFCEntailsaccess$0D(Laima/logic/propositional/algorithms/PLFCEntails;)Ljava/util/Stack; java/util/Stackpush&(Ljava/lang/Object;)Ljava/lang/Object;!" #java/util/ArrayList% & (access$1H(Laima/logic/propositional/algorithms/PLFCEntails;)Ljava/util/Hashtable;*+ ,java/lang/Integer.(I)V 0 /1java/util/Hashtable3put8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;56 47access$29+ :java/lang/Boolean<FALSELjava/lang/Boolean;>? =@isImpliedSentence2(Laima/logic/propositional/parsing/ast/Sentence;)ZBC Djava/lang/RuntimeExceptionFjava/lang/StringBuilderH Sentence J(Ljava/lang/String;)V L IMappend-(Ljava/lang/Object;)Ljava/lang/StringBuilder;OP IQ is not a horn clauseS-(Ljava/lang/String;)Ljava/lang/StringBuilder;OU IVtoString()Ljava/lang/String;XY IZ GM3aima/logic/propositional/parsing/ast/BinarySentence] getSecond1()Laima/logic/propositional/parsing/ast/Sentence;_` ^a1aima/logic/propositional/visitors/SymbolCollectorc dgetFirstf` ^ggetSymbolsIn@(Laima/logic/propositional/parsing/ast/Sentence;)Ljava/util/Set;ij dk java/util/Setmiterator()Ljava/util/Iterator;opnqjava/util/Iteratorsnext()Ljava/lang/Object;uvtwhasNext()Zyzt{aima/util/Converter} ~ setToList!(Ljava/util/Set;)Ljava/util/List;АБ ~Вjava/util/ListДsize()IЖЗЕИLineNumberTableLocalVariableTablethisLjava/util/Set;CLjava/util/Iterator;getOperatorЩY ^Ъ=>Ьjava/lang/StringЮequals(Ljava/lang/Object;)Zаб Яв/()Laima/logic/propositional/parsing/ast/Symbol;premisesContainsSymbol0(Laima/logic/propositional/parsing/ast/Symbol;)ZcontainsзбЕиqgetPremiseSymbols()Ljava/util/List;getClass()Ljava/lang/Class;но пЕqoLjava/lang/Object;ohcresultZshashCode╕З ╣I ZvalueOf&(Ljava/lang/Object;)Ljava/lang/String;╜╛ Я┐ => ┴ SourceFilePLFCEntails.javaInnerClasses HornClause! ┼√*+╡*╖,┴ЩE*,└╡+╕*┤╢$W*╗&Y╖'╡)+╕-*╗/Y╖2╢8W+╕;*┤▓A╢8Wзл*,╖EЪ ╗GY╗IYK╖N,╢RT╢W╢[╖\┐,└^N*-╢b└╡+╕;*┤▓A╢8W╗dY╖e-╢h╢l:╣r:з+╕;╣x└▓A╢8W╣|Ъ ф*╗~Y╖╢Г╡)+╕-*╗/Y*┤)╣Й╖2╢8W▒Кbu\ ]^_$`/a@bRcZdkesdwh|iЗjЦkЭlбkжmпn▓o╟n╤qсrЛ4√МН√ОП|~РСжTТУпKФХЦжTТЧпKФШBCV+┴^Щ+└^╢ЫЭ╢гЩммКxyxЛМНОП д/*┤░К~ЛМНеж?*┤)+╣ймКВЛМНк лм/*┤)░КЖЛМНабюl*+жм+╞*╢░+╢░ем+└M*┤)╣Й,┤)╣ЙЯм>*┤)╣▒:з╣x└:,┤)╣йЪм╣|Ъ ▌мК6 МНПРТУ2Ф4Ц6ЧPШ^Щ`ЧjЭЛ4lМНl▓│O┤Н66╡╢P╖ ╕З}/<*┤)╣▒Nз-╣x└M%h,╢║`<-╣|Ъ цмКгде$д-зЛ /МН,╡╗╖ XYK!╗IY*┤)╢╝╕└╖N┬╢W*┤╢R╢[░КлЛ!МН├─┼ ╞