// 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 -> Formula, clauses, ClauseList {{ if (is_equal) { Formula obj = (Formula) history.peek(); Object temp1 = obj.get_clauses(); if(temp1==null) { is_equal = false; return; } history.push(temp1); } }} after -> Formula, clauses, ClauseList {{ if (is_equal) history.pop(); }} before -> Formula, satopt, SatOpt {{ if (is_equal) { Formula obj = (Formula) history.peek(); Object temp2 = obj.get_satopt(); if(temp2==null) { is_equal = false; return; } history.push(temp2); } }} after -> Formula, satopt, SatOpt {{ if (is_equal) history.pop(); }} before -> Formula, unsatopt, UnsatOpt {{ if (is_equal) { Formula obj = (Formula) history.peek(); Object temp3 = obj.get_unsatopt(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} after -> Formula, unsatopt, UnsatOpt {{ if (is_equal) history.pop(); }} before Formula {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before SatOpt {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before SatCount {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp4 = host.get_sats(); Object temp5 = ((SatCount) obj).get_sats(); if(temp4 == null && temp5 == null) {} else if(temp4 == null || temp5 == null || !temp4.equals(temp5)) { is_equal = false; return; } }} before SatAbsent {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before UnsatOpt {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before UnsatCount {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp6 = host.get_unsats(); Object temp7 = ((UnsatCount) obj).get_unsats(); if(temp6 == null && temp7 == null) {} else if(temp6 == null || temp7 == null || !temp6.equals(temp7)) { is_equal = false; return; } }} before UnsatAbsent {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Clause {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before SatClause {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before UnsatClause {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> ConcreteClause, weight, Weight {{ if (is_equal) { ConcreteClause obj = (ConcreteClause) history.peek(); Object temp8 = obj.get_weight(); if(temp8==null) { is_equal = false; return; } history.push(temp8); } }} after -> ConcreteClause, weight, Weight {{ if (is_equal) history.pop(); }} before -> ConcreteClause, literals, Literals {{ if (is_equal) { ConcreteClause obj = (ConcreteClause) history.peek(); Object temp9 = obj.get_literals(); if(temp9==null) { is_equal = false; return; } history.push(temp9); } }} after -> ConcreteClause, literals, Literals {{ if (is_equal) history.pop(); }} before ConcreteClause {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Literals {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before SatLiteral {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before UnsatLiteral {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Literal, variable, Variable {{ if (is_equal) { Literal obj = (Literal) history.peek(); Object temp10 = obj.get_variable(); if(temp10==null) { is_equal = false; return; } history.push(temp10); } }} after -> Literal, variable, Variable {{ if (is_equal) history.pop(); }} before Literal {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Positive {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Negative {{ 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 temp11 = host.get_integer(); Object temp12 = ((Variable) obj).get_integer(); if(temp11 == null && temp12 == null) {} else if(temp11 == null || temp12 == null || !temp11.equals(temp12)) { is_equal = false; return; } }} before Weight {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp13 = host.get_v(); Object temp14 = ((Weight) obj).get_v(); if(temp13 == null && temp14 == null) {} else if(temp13 == null || temp14 == null || !temp13.equals(temp14)) { is_equal = false; return; } }} before Main {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp15 = host.get_s(); Object temp16 = ((Main) obj).get_s(); if(temp15 == null && temp16 == null) {} else if(temp15 == null || temp16 == null || !temp15.equals(temp16)) { is_equal = false; return; } }} before ClauseList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> ClauseCons, first, Clause {{ if (is_equal) { ClauseCons obj = (ClauseCons) history.peek(); Object temp17 = obj.get_first(); if(temp17==null) { is_equal = false; return; } history.push(temp17); } }} after -> ClauseCons, first, Clause {{ if (is_equal) history.pop(); }} before -> ClauseCons, rest, ClauseList {{ if (is_equal) { ClauseCons obj = (ClauseCons) history.peek(); Object temp18 = obj.get_rest(); if(temp18==null) { is_equal = false; return; } history.push(temp18); } }} after -> ClauseCons, rest, ClauseList {{ if (is_equal) history.pop(); }} before ClauseCons {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before ClauseEmpty {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before LiteralList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> LiteralCons, first, Literal {{ if (is_equal) { LiteralCons obj = (LiteralCons) history.peek(); Object temp19 = obj.get_first(); if(temp19==null) { is_equal = false; return; } history.push(temp19); } }} after -> LiteralCons, first, Literal {{ if (is_equal) history.pop(); }} before -> LiteralCons, rest, LiteralList {{ if (is_equal) { LiteralCons obj = (LiteralCons) history.peek(); Object temp20 = obj.get_rest(); if(temp20==null) { is_equal = false; return; } history.push(temp20); } }} after -> LiteralCons, rest, LiteralList {{ if (is_equal) history.pop(); }} before LiteralCons {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before LiteralEmpty {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before LitCounter {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) 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; }} return boolean {{ is_equal }} }