10aima/logic/propositional/algorithms/PLResolutionjava/lang/Object()VCode  LineNumberTableLocalVariableTablethis2Laima/logic/propositional/algorithms/PLResolution; plResolutionH(Laima/logic/propositional/algorithms/KnowledgeBase;Ljava/lang/String;)Z)aima/logic/propositional/parsing/PEParser parse5(Ljava/lang/String;)Laima/logic/common/ParseTreeNode;  -aima/logic/propositional/parsing/ast/Sentencee(Laima/logic/propositional/algorithms/KnowledgeBase;Laima/logic/propositional/parsing/ast/Sentence;)Z  kb3Laima/logic/propositional/algorithms/KnowledgeBase;alphaLjava/lang/String;3aima/logic/propositional/parsing/ast/BinarySentence AND"1aima/logic/propositional/algorithms/KnowledgeBase$ asSentence1()Laima/logic/propositional/parsing/ast/Sentence; &' %(2aima/logic/propositional/parsing/ast/UnarySentence*2(Laima/logic/propositional/parsing/ast/Sentence;)V , +-s(Ljava/lang/String;Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;)V / !03aima/logic/propositional/visitors/CNFClauseGatherer2 30aima/logic/propositional/visitors/CNFTransformer5 6 transform`(Laima/logic/propositional/parsing/ast/Sentence;)Laima/logic/propositional/parsing/ast/Sentence; 89 6:getClausesFrom@(Laima/logic/propositional/parsing/ast/Sentence;)Ljava/util/Set; <= 3>,filterOutClausesWithTwoComplementaryLiterals (Ljava/util/Set;)Ljava/util/Set; @A Bjava/util/HashSetD Eaima/util/ConverterG H setToList!(Ljava/util/Set;)Ljava/util/List; JK HLgetCombinationPairs"(Ljava/util/List;)Ljava/util/List; NO Pjava/util/ListRget(I)Ljava/lang/Object; TU SV plResolveo(Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;)Ljava/util/Set; XY Z+aima/logic/propositional/parsing/ast/Symbol\ EMPTY_CLAUSE^(Ljava/lang/String;)V ` ]a java/util/Setccontains(Ljava/lang/Object;)Z ef dgaima/util/SetOpsi junion/(Ljava/util/Set;Ljava/util/Set;)Ljava/util/Set; lm jnsize()I pq Sr intersection tm ju dr/Laima/logic/propositional/parsing/ast/Sentence; kBAndNotAlphaclausesLjava/util/Set; newClausespairsLjava/util/List;iIpair resolventsLocalVariableTypeTable@Ljava/util/Set;SLjava/util/List;>;ALjava/util/List; Signature(Ljava/util/Set;)Ljava/util/Set;2aima/logic/propositional/visitors/SymbolClassifier iterator()Ljava/util/Iterator; djava/util/Iteratornext()Ljava/lang/Object; getPositiveSymbolsIn = getNegativeSymbolsIn = add f dhasNext()Z filtered classifier4Laima/logic/propositional/visitors/SymbolClassifier;iterLjava/util/Iterator;clausepositiveSymbolsnegativeSymbols>Ljava/util/Set;(Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;)Ljava/util/Set;>aima/logic/propositional/algorithms/PLResolution$ClauseSymbols(Laima/logic/propositional/algorithms/PLResolution;Laima/logic/propositional/parsing/ast/Sentence;Laima/logic/propositional/parsing/ast/Sentence;)V  getComplementedSymbols()Ljava/util/Set; createResolventClause(Laima/logic/propositional/algorithms/PLResolution$ClauseSymbols;Laima/logic/propositional/parsing/ast/Symbol;)Laima/logic/propositional/parsing/ast/Sentence; clause1clause2cs@Laima/logic/propositional/algorithms/PLResolution$ClauseSymbols;symbol-Laima/logic/propositional/parsing/ast/Symbol;clause1PositiveSymbols { clause2PositiveSymbols { clause1NegativeSymbols { clause2NegativeSymbols { Sgremove f S5aima/logic/propositional/parsing/ast/SymbolComparator java/util/Collectionssort)(Ljava/util/List;Ljava/util/Comparator;)V java/util/ArrayList  SORaima/util/LogicUtils chainWithS(Ljava/lang/String;Ljava/util/List;)Laima/logic/propositional/parsing/ast/Sentence; toRemove sentences?Ljava/util/List;(Ljava/util/List;)Ljava/util/List;>;equals f  clausesListoddmidpointjfirstsecond'(Ljava/lang/String;Ljava/lang/String;)Z %tell ` %kbs alphaString SourceFilePLResolution.java InnerClasses ClauseSymbols!/*    R*+Y, "    !Y#+)+Y,.1N3Y46Y7-;?:*C:EYF:*HYIMQ:6UWS:*WW[:  ]Y_bhjYk o:sjYkvwwjYko:*C:S f& '&()+(-*5+>-P/V0d2p3{2457/;<;=?@, f xyx-z{>|{P}~SadA~%{ 4-z>|P}dA% @A-eEYFMYN+:A:-:-:jYkvw ,W, . GHIJK*L2M:NPOYJcR Re ez{]{UM*/x2'{:{*ez]2':XYMEYFNY*+,::!]]:-*W- "VWX Y#Z2[AYK^ HM MxMxE{9 -2 EHYIjYk++ŶoMNHYIjYk++˶oM:-, -,W, ,W-YҸYҸػY:6-WW-s6!+YW].Wss ]Y_b Zbcbd+e6d;fEgMiXjamlnxpqrqtutwxz R ~;~s~$- ;sNO +sp=>+sl`> +sl>Y:6f6QY:+W:+W:  !W WW+s+s J '06=FS`jt~ f ~  0w}~3q:\FB~S5x`(x 0w}FB%%YN-+Y,:*-   4% %%x