Êþº¾1‘aima/logic/fol/SubstVisitor)aima/logic/fol/parsing/AbstractFOLVisitorsubstitutedSentence%Laima/logic/fol/parsing/ast/Sentence;originalSentenceparser"Laima/logic/fol/parsing/FOLParser;%(Laima/logic/fol/parsing/FOLParser;)VCode     LineNumberTableLocalVariableTablethisLaima/logic/fol/SubstVisitor; visitVariableK(Laima/logic/fol/parsing/ast/Variable;Ljava/lang/Object;)Ljava/lang/Object;#aima/logic/fol/parsing/ast/VariablegetValue()Ljava/lang/String;  java/util/Propertiesjava/util/Hashtable!keySet()Ljava/util/Set; #$ "% java/util/Set'contains(Ljava/lang/Object;)Z )* (+ getProperty&(Ljava/lang/String;)Ljava/lang/String; -. /(Ljava/lang/String;)V 1 2variable%Laima/logic/fol/parsing/ast/Variable;argLjava/lang/Object;valueLjava/lang/String;substsLjava/util/Properties;keyvisitQuantifiedSentenceU(Laima/logic/fol/parsing/ast/QuantifiedSentence;Ljava/lang/Object;)Ljava/lang/Object;-aima/logic/fol/parsing/ast/QuantifiedSentence? getQuantified'()Laima/logic/fol/parsing/ast/Sentence; AB @C#aima/logic/fol/parsing/ast/SentenceEacceptI(Laima/logic/fol/parsing/FOLVisitor;Ljava/lang/Object;)Ljava/lang/Object; GH FIaima/util/ConverterK()V M LNgetVariablesAsString()Ljava/util/List; PQ @R listToSet!(Ljava/util/List;)Ljava/util/Set; TU LVaima/util/LogicUtilsXstringsToVariables (Ljava/util/Set;)Ljava/util/Set; Z[ Y\aima/util/SetOps^ _N difference/(Ljava/util/Set;Ljava/util/Set;)Ljava/util/Set; ab _cisEmpty()Z ef (g setToList!(Ljava/util/Set;)Ljava/util/List; ij Lk getQuantifier m @nJ(Ljava/lang/String;Ljava/util/List;Laima/logic/fol/parsing/ast/Sentence;)V p @qrecreate9(Ljava/lang/Object;)Laima/logic/fol/parsing/ast/Sentence; st usentence/Laima/logic/fol/parsing/ast/QuantifiedSentence;propsLjava/util/Hashtable; quantifiedquantifiedAfterSubssentenceVariablesStrLjava/util/Set;sentenceVariablespropKeysVariablesunmatchedVariables variablesLjava/util/List;senLocalVariableTypeTable;Ljava/util/Hashtable;#Ljava/util/Set;6Ljava/util/Set;7Ljava/util/List;getSubstitutedSentenceb(Laima/logic/fol/parsing/ast/Sentence;Ljava/util/Properties;)Laima/logic/fol/parsing/ast/Sentence; beforeSubstp afterSubst SourceFileSubstVisitor.java!   P*+·*µ*µ±! "   0+¶N,À :¶&-¹,™+¶:»Y¶0·3°+°%& '().+>0045067+89 %:;<9=> Œ |,À"N+¶D:*,¹JÀF:»LY·O+¶S¶W:¸]:-¶&¸]:»_Y·`¶d:  ¹hš%»LY·O ¶l: »@Y+¶o ·r:  °*¶v°:23 4;)<0=9>IESFaGeHmGrJuLz ||wx|67wyz q{c|)S}~0L~9C€~I3~ a‚ƒ r„x …>wy†)S}‡0Lˆ9C€ˆI3ˆ a‚‰ Š‹ p+*,¹JÀFN*-¶v:°T VY4Œ; „Ž