// This file is automatically generated by DemeterJ. EqualVisitor { {{ private java.util.Stack history = new java.util.Stack(); public EqualVisitor(Object obj) { history.push(obj); } }} before -> Program, test, CNFwithType_PList {{ if (is_equal) { Program obj = (Program) history.peek(); Object temp1 = obj.get_test(); if(temp1==null) { is_equal = false; return; } history.push(temp1); } }} after -> Program, test, CNFwithType_PList {{ if (is_equal) history.pop(); }} before Program {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> CNFwithType, cnf, CNF {{ if (is_equal) { CNFwithType obj = (CNFwithType) history.peek(); Object temp2 = obj.get_cnf(); if(temp2==null) { is_equal = false; return; } history.push(temp2); } }} after -> CNFwithType, cnf, CNF {{ if (is_equal) history.pop(); }} before -> CNFwithType, cnftype, CNFType {{ if (is_equal) { CNFwithType obj = (CNFwithType) history.peek(); Object temp3 = obj.get_cnftype(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} after -> CNFwithType, cnftype, CNFType {{ if (is_equal) history.pop(); }} before CNFwithType {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp4 = host.get_correct(); Object temp5 = ((CNFwithType) obj).get_correct(); if(temp4 == null && temp5 == null) {} else if(temp4 == null || temp5 == null || !temp4.equals(temp5)) { is_equal = false; return; } }} before -> CNFType, pair_plist, Pair_PList {{ if (is_equal) { CNFType obj = (CNFType) history.peek(); Object temp6 = obj.get_pair_plist(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } }} after -> CNFType, pair_plist, Pair_PList {{ if (is_equal) history.pop(); }} before CNFType {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Pair {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_listLength() == ((Pair) obj).get_listLength(); is_equal = is_equal && host.get_posLits() == ((Pair) obj).get_posLits(); }} before -> FinishedProduct, exps, Expression_PList {{ if (is_equal) { FinishedProduct obj = (FinishedProduct) history.peek(); Object temp7 = obj.get_exps(); if(temp7==null) { is_equal = false; return; } history.push(temp7); } }} after -> FinishedProduct, exps, Expression_PList {{ if (is_equal) history.pop(); }} before FinishedProduct {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Expression {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> LetExp, assignment, Literal {{ if (is_equal) { LetExp obj = (LetExp) history.peek(); Object temp8 = obj.get_assignment(); if(temp8==null) { is_equal = false; return; } history.push(temp8); } }} after -> LetExp, assignment, Literal {{ if (is_equal) history.pop(); }} before -> LetExp, body, Expression {{ if (is_equal) { LetExp obj = (LetExp) history.peek(); Object temp9 = obj.get_body(); if(temp9==null) { is_equal = false; return; } history.push(temp9); } }} after -> LetExp, body, Expression {{ if (is_equal) history.pop(); }} before LetExp {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> CNF, clauses, Clause_PList {{ if (is_equal) { CNF obj = (CNF) history.peek(); Object temp10 = obj.get_clauses(); if(temp10==null) { is_equal = false; return; } history.push(temp10); } }} after -> CNF, clauses, Clause_PList {{ if (is_equal) history.pop(); }} before -> CNF, sat, ClauseCount {{ if (is_equal) { CNF obj = (CNF) history.peek(); Object temp11 = obj.get_sat(); if(temp11==null) { is_equal = false; return; } history.push(temp11); } }} after -> CNF, sat, ClauseCount {{ if (is_equal) history.pop(); }} before -> CNF, unsat, ClauseCount {{ if (is_equal) { CNF obj = (CNF) history.peek(); Object temp12 = obj.get_unsat(); if(temp12==null) { is_equal = false; return; } history.push(temp12); } }} after -> CNF, unsat, ClauseCount {{ if (is_equal) history.pop(); }} before CNF {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Clause, weight, Weight {{ if (is_equal) { Clause obj = (Clause) history.peek(); Object temp13 = obj.get_weight(); if(temp13==null) { is_equal = false; return; } history.push(temp13); } }} after -> Clause, weight, Weight {{ if (is_equal) history.pop(); }} before -> Clause, literals, Literal_PList {{ if (is_equal) { Clause obj = (Clause) history.peek(); Object temp14 = obj.get_literals(); if(temp14==null) { is_equal = false; return; } history.push(temp14); } }} after -> Clause, literals, Literal_PList {{ if (is_equal) history.pop(); }} before Clause {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Literal {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Pos, variable, Variable {{ if (is_equal) { Pos obj = (Pos) history.peek(); Object temp15 = obj.get_variable(); if(temp15==null) { is_equal = false; return; } history.push(temp15); } }} after -> Pos, variable, Variable {{ if (is_equal) history.pop(); }} before Pos {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Neg, variable, Variable {{ if (is_equal) { Neg obj = (Neg) history.peek(); Object temp16 = obj.get_variable(); if(temp16==null) { is_equal = false; return; } history.push(temp16); } }} after -> Neg, variable, Variable {{ if (is_equal) history.pop(); }} before Neg {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Variable {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp17 = host.get_v(); Object temp18 = ((Variable) obj).get_v(); if(temp17 == null && temp18 == null) {} else if(temp17 == null || temp18 == null || !temp17.equals(temp18)) { is_equal = false; return; } }} before Weight {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_v() == ((Weight) obj).get_v(); }} before ClauseCount {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_v() == ((ClauseCount) obj).get_v(); }} before Main {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp19 = host.get_s(); Object temp20 = ((Main) obj).get_s(); if(temp19 == null && temp20 == null) {} else if(temp19 == null || temp20 == null || !temp19.equals(temp20)) { is_equal = false; return; } }} before PrintVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_indent() == ((PrintVisitor) obj).get_indent(); is_equal = is_equal && host.get_needSpace() == ((PrintVisitor) obj).get_needSpace(); }} before CopyVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp21 = host.get_copy(); Object temp22 = ((CopyVisitor) obj).get_copy(); if(temp21 == null && temp22 == null) {} else if(temp21 == null || temp22 == null || !temp21.equals(temp22)) { is_equal = false; return; } }} before SubgraphVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_is_equal() == ((SubgraphVisitor) obj).get_is_equal(); }} before EqualVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_is_equal() == ((EqualVisitor) obj).get_is_equal(); }} before DisplayVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_indent() == ((DisplayVisitor) obj).get_indent(); }} before TraceVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_indent() == ((TraceVisitor) obj).get_indent(); }} before UniversalVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> CNFwithType_PList, first, Nonempty_CNFwithType_PList {{ if (is_equal) { CNFwithType_PList obj = (CNFwithType_PList) history.peek(); Object temp23 = obj.get_first(); if(temp23==null) { is_equal = false; return; } history.push(temp23); } }} after -> CNFwithType_PList, first, Nonempty_CNFwithType_PList {{ if (is_equal) history.pop(); }} before CNFwithType_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Pair_PList, first, Nonempty_Pair_PList {{ if (is_equal) { Pair_PList obj = (Pair_PList) history.peek(); Object temp24 = obj.get_first(); if(temp24==null) { is_equal = false; return; } history.push(temp24); } }} after -> Pair_PList, first, Nonempty_Pair_PList {{ if (is_equal) history.pop(); }} before Pair_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Expression_PList, first, Nonempty_Expression_PList {{ if (is_equal) { Expression_PList obj = (Expression_PList) history.peek(); Object temp25 = obj.get_first(); if(temp25==null) { is_equal = false; return; } history.push(temp25); } }} after -> Expression_PList, first, Nonempty_Expression_PList {{ if (is_equal) history.pop(); }} before Expression_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Clause_PList, first, Nonempty_Clause_PList {{ if (is_equal) { Clause_PList obj = (Clause_PList) history.peek(); Object temp26 = obj.get_first(); if(temp26==null) { is_equal = false; return; } history.push(temp26); } }} after -> Clause_PList, first, Nonempty_Clause_PList {{ if (is_equal) history.pop(); }} before Clause_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Literal_PList, first, Nonempty_Literal_PList {{ if (is_equal) { Literal_PList obj = (Literal_PList) history.peek(); Object temp27 = obj.get_first(); if(temp27==null) { is_equal = false; return; } history.push(temp27); } }} after -> Literal_PList, first, Nonempty_Literal_PList {{ if (is_equal) history.pop(); }} before Literal_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_CNFwithType_PList, it, CNFwithType {{ if (is_equal) { Nonempty_CNFwithType_PList obj = (Nonempty_CNFwithType_PList) history.peek(); Object temp28 = obj.get_it(); if(temp28==null) { is_equal = false; return; } history.push(temp28); } }} after -> Nonempty_CNFwithType_PList, it, CNFwithType {{ if (is_equal) history.pop(); }} before -> Nonempty_CNFwithType_PList, next, Nonempty_CNFwithType_PList {{ if (is_equal) { Nonempty_CNFwithType_PList obj = (Nonempty_CNFwithType_PList) history.peek(); Object temp29 = obj.get_next(); if(temp29==null) { is_equal = false; return; } history.push(temp29); } }} after -> Nonempty_CNFwithType_PList, next, Nonempty_CNFwithType_PList {{ if (is_equal) history.pop(); }} before Nonempty_CNFwithType_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Pair_PList, it, Pair {{ if (is_equal) { Nonempty_Pair_PList obj = (Nonempty_Pair_PList) history.peek(); Object temp30 = obj.get_it(); if(temp30==null) { is_equal = false; return; } history.push(temp30); } }} after -> Nonempty_Pair_PList, it, Pair {{ if (is_equal) history.pop(); }} before -> Nonempty_Pair_PList, next, Nonempty_Pair_PList {{ if (is_equal) { Nonempty_Pair_PList obj = (Nonempty_Pair_PList) history.peek(); Object temp31 = obj.get_next(); if(temp31==null) { is_equal = false; return; } history.push(temp31); } }} after -> Nonempty_Pair_PList, next, Nonempty_Pair_PList {{ if (is_equal) history.pop(); }} before Nonempty_Pair_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Expression_PList, it, Expression {{ if (is_equal) { Nonempty_Expression_PList obj = (Nonempty_Expression_PList) history.peek(); Object temp32 = obj.get_it(); if(temp32==null) { is_equal = false; return; } history.push(temp32); } }} after -> Nonempty_Expression_PList, it, Expression {{ if (is_equal) history.pop(); }} before -> Nonempty_Expression_PList, next, Nonempty_Expression_PList {{ if (is_equal) { Nonempty_Expression_PList obj = (Nonempty_Expression_PList) history.peek(); Object temp33 = obj.get_next(); if(temp33==null) { is_equal = false; return; } history.push(temp33); } }} after -> Nonempty_Expression_PList, next, Nonempty_Expression_PList {{ if (is_equal) history.pop(); }} before Nonempty_Expression_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Clause_PList, it, Clause {{ if (is_equal) { Nonempty_Clause_PList obj = (Nonempty_Clause_PList) history.peek(); Object temp34 = obj.get_it(); if(temp34==null) { is_equal = false; return; } history.push(temp34); } }} after -> Nonempty_Clause_PList, it, Clause {{ if (is_equal) history.pop(); }} before -> Nonempty_Clause_PList, next, Nonempty_Clause_PList {{ if (is_equal) { Nonempty_Clause_PList obj = (Nonempty_Clause_PList) history.peek(); Object temp35 = obj.get_next(); if(temp35==null) { is_equal = false; return; } history.push(temp35); } }} after -> Nonempty_Clause_PList, next, Nonempty_Clause_PList {{ if (is_equal) history.pop(); }} before Nonempty_Clause_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Nonempty_Literal_PList, it, Literal {{ if (is_equal) { Nonempty_Literal_PList obj = (Nonempty_Literal_PList) history.peek(); Object temp36 = obj.get_it(); if(temp36==null) { is_equal = false; return; } history.push(temp36); } }} after -> Nonempty_Literal_PList, it, Literal {{ if (is_equal) history.pop(); }} before -> Nonempty_Literal_PList, next, Nonempty_Literal_PList {{ if (is_equal) { Nonempty_Literal_PList obj = (Nonempty_Literal_PList) history.peek(); Object temp37 = obj.get_next(); if(temp37==null) { is_equal = false; return; } history.push(temp37); } }} after -> Nonempty_Literal_PList, next, Nonempty_Literal_PList {{ if (is_equal) history.pop(); }} before Nonempty_Literal_PList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} return boolean {{ is_equal }} }