1)aima/logic/propositional/algorithms/Modeljava/lang/Object*aima/logic/propositional/parsing/PLVisitorhLjava/util/Hashtable; Signature;()VCode java/util/Hashtable   LineNumberTableLocalVariableTablethis+Laima/logic/propositional/algorithms/Model; getStatusB(Laima/logic/propositional/parsing/ast/Symbol;)Ljava/lang/Boolean;+aima/logic/propositional/parsing/ast/SymbolgetValue()Ljava/lang/String;  get&(Ljava/lang/Object;)Ljava/lang/Object; !" #java/lang/Boolean%symbol-Laima/logic/propositional/parsing/ast/Symbol;statusLjava/lang/Object;isTrue0(Laima/logic/propositional/parsing/ast/Symbol;)Z booleanValue()Z -. &/isFalse isUnknownsoextend[(Laima/logic/propositional/parsing/ast/Symbol;Z)Laima/logic/propositional/algorithms/Model; @(Ljava/lang/String;Z)Laima/logic/propositional/algorithms/Model; 58 9bZmkeySet()Ljava/util/Set; >? @ java/util/SetBiterator()Ljava/util/Iterator; DE CFjava/util/IteratorHnext()Ljava/lang/Object; JK ILjava/lang/StringN toCharArray()[C PQ OR([C)V T OUjava/lang/RuntimeExceptionW Xput8(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object; Z[ \hasNext ^. I_(Z)V a &bLjava/lang/String;iLjava/util/Iterator;keyvalueLjava/lang/Boolean;newKeyLocalVariableTypeTable(Ljava/util/Iterator;printjava/lang/SystemnoutLjava/io/PrintStream; pq orjava/lang/StringBuildert uappend-(Ljava/lang/Object;)Ljava/lang/StringBuilder; wx uy = {-(Ljava/lang/String;)Ljava/lang/StringBuilder; w} u~ toString  ujava/io/PrintStream(Ljava/lang/String;)V m println 2(Laima/logic/propositional/parsing/ast/Sentence;)Z-aima/logic/propositional/parsing/ast/SentenceacceptR(Laima/logic/propositional/parsing/PLVisitor;Ljava/lang/Object;)Ljava/lang/Object; clause/Laima/logic/propositional/parsing/ast/Sentence;resultflipZ(Laima/logic/propositional/parsing/ast/Symbol;)Laima/logic/propositional/algorithms/Model; +,  56  1,   visitSymbolS(Laima/logic/propositional/parsing/ast/Symbol;Ljava/lang/Object;)Ljava/lang/Object;  argvisitTrueSentenceY(Laima/logic/propositional/parsing/ast/TrueSentence;Ljava/lang/Object;)Ljava/lang/Object;TRUE i &ts3Laima/logic/propositional/parsing/ast/TrueSentence;visitFalseSentenceZ(Laima/logic/propositional/parsing/ast/FalseSentence;Ljava/lang/Object;)Ljava/lang/Object;FALSE i &fs4Laima/logic/propositional/parsing/ast/FalseSentence;visitNotSentenceZ(Laima/logic/propositional/parsing/ast/UnarySentence;Ljava/lang/Object;)Ljava/lang/Object;2aima/logic/propositional/parsing/ast/UnarySentence getNegated1()Laima/logic/propositional/parsing/ast/Sentence; 4Laima/logic/propositional/parsing/ast/UnarySentence; negatedValuevisitBinarySentence[(Laima/logic/propositional/parsing/ast/BinarySentence;Ljava/lang/Object;)Ljava/lang/Object;3aima/logic/propositional/parsing/ast/BinarySentencegetFirst  getSecond  getOperator  ANDequals(Ljava/lang/Object;)Z O evaluateAnd;(Ljava/lang/Boolean;Ljava/lang/Boolean;)Ljava/lang/Boolean; OR evaluateOr =>evaluateImplied <=>evaluateBiConditional bs5Laima/logic/propositional/parsing/ast/BinarySentence; firstValue secondValueoperatorvisitMultiSentenceZ(Laima/logic/propositional/parsing/ast/MultiSentence;Ljava/lang/Object;)Ljava/lang/Object;4Laima/logic/propositional/parsing/ast/MultiSentence;argd &getAssignedSymbols@()Ljava/util/Set;java/util/HashSet   2, add CsetLjava/util/Set;>Ljava/util/Set;matches(Ljava/lang/String;Z)Zvariable SourceFile Model.java!    B**Y  a*+ $M,,&  '( )*+, d*+ $M, ,&0! "#% '( )*1, l"*+ $M,,&0( )* , ""'( )*2, V*+ $M, 0 1 3( 4*56 ^Y7N*+ : 67*'(;< =58 %wY7N*AG:DMO:*$&:OYSV: XYY-]W`-+&Yc]W-2 :;<=%>3?A@FANCZ<dEuFRww3dw;<o=aef%5gd3'hiAjdk aelm  R*AGL5+MM*,$NsuYv,z|-z+`Ȳs"K LMN OBLKRQS*R Eef+g* "h*+ a+*M,,&0 VW *1 a+*M,,&0 [\ 4*2 Q+*M, `a 4* d *+ *+*+ *+*efhik  3( 2*o  D*+v 3(* Bz * B~ * {'+*N-&Y-&0c %*'''* * (+*N+*:-+:˶ϙ*-&&Ӱնϙ*-&&ذڶϙ*-&&ݰ߶ϙ*-&&J  &0>HV`ejnx}>* ~*s*&bd @ * f+,  ii f+ ,  ii f+,  ii V+,  ii?  GYL*AGM'Y,MOON*- +-W,`+",4<E*G?2ef,g(k ? r$*Y+*Y+" $$d$h<