// 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 {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_sats() == ((Formula) obj).get_sats(); is_equal = is_equal && host.get_unsats() == ((Formula) obj).get_unsats(); }} 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 temp2 = host.get_sats(); Object temp3 = ((SatCount) obj).get_sats(); if(temp2 == null && temp3 == null) {} else if(temp2 == null || temp3 == null || !temp2.equals(temp3)) { is_equal = false; return; } }} before SatAbsent {{ 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 temp4 = obj.get_weight(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } }} after -> Clause, weight, Weight {{ if (is_equal) history.pop(); }} before -> Clause, literallist, LiteralList {{ if (is_equal) { Clause obj = (Clause) history.peek(); Object temp5 = obj.get_literallist(); if(temp5==null) { is_equal = false; return; } history.push(temp5); } }} after -> Clause, literallist, LiteralList {{ 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, variable, Variable {{ if (is_equal) { Literal obj = (Literal) history.peek(); Object temp6 = obj.get_variable(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } }} 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 temp7 = host.get_integer(); Object temp8 = ((Variable) obj).get_integer(); if(temp7 == null && temp8 == null) {} else if(temp7 == null || temp8 == null || !temp7.equals(temp8)) { is_equal = false; return; } }} before Weight {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp9 = host.get_v(); Object temp10 = ((Weight) obj).get_v(); if(temp9 == null && temp10 == null) {} else if(temp9 == null || temp10 == null || !temp9.equals(temp10)) { is_equal = false; return; } }} before Main {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp11 = host.get_s(); Object temp12 = ((Main) obj).get_s(); if(temp11 == null && temp12 == null) {} else if(temp11 == null || temp12 == null || !temp11.equals(temp12)) { 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 temp13 = obj.get_first(); if(temp13==null) { is_equal = false; return; } history.push(temp13); } }} after -> ClauseCons, first, Clause {{ if (is_equal) history.pop(); }} before -> ClauseCons, rest, ClauseList {{ if (is_equal) { ClauseCons obj = (ClauseCons) history.peek(); Object temp14 = obj.get_rest(); if(temp14==null) { is_equal = false; return; } history.push(temp14); } }} 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 temp15 = obj.get_first(); if(temp15==null) { is_equal = false; return; } history.push(temp15); } }} after -> LiteralCons, first, Literal {{ if (is_equal) history.pop(); }} before -> LiteralCons, rest, LiteralList {{ if (is_equal) { LiteralCons obj = (LiteralCons) history.peek(); Object temp16 = obj.get_rest(); if(temp16==null) { is_equal = false; return; } history.push(temp16); } }} 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 Reduce {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> ReduceVisitor, curLiteral, Literal {{ if (is_equal) { ReduceVisitor obj = (ReduceVisitor) history.peek(); Object temp17 = obj.get_curLiteral(); if(temp17==null) { is_equal = false; return; } history.push(temp17); } }} after -> ReduceVisitor, curLiteral, Literal {{ if (is_equal) history.pop(); }} before -> ReduceVisitor, newClauses, ClauseList {{ if (is_equal) { ReduceVisitor obj = (ReduceVisitor) history.peek(); Object temp18 = obj.get_newClauses(); if(temp18==null) { is_equal = false; return; } history.push(temp18); } }} after -> ReduceVisitor, newClauses, ClauseList {{ if (is_equal) history.pop(); }} before ReduceVisitor {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_sats() == ((ReduceVisitor) obj).get_sats(); is_equal = is_equal && host.get_unsats() == ((ReduceVisitor) obj).get_unsats(); }} 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 temp19 = host.get_copy(); Object temp20 = ((CopyVisitor) obj).get_copy(); if(temp19 == null && temp20 == null) {} else if(temp19 == null || temp20 == null || !temp19.equals(temp20)) { 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 }} }