Example #1
0
 @Override
 public void visit(SymbolicConstraint node) {
   for (Map.Entry<Variable, Term> entry : node.substitution().entrySet()) {
     entry.getKey().accept(this);
     entry.getValue().accept(this);
   }
   for (SymbolicConstraint.Equality equality : node.equalities()) {
     equality.leftHandSide().accept(this);
     equality.rightHandSide().accept(this);
   }
 }