public void accept(RotateAt12 RotateAt12) { //do nothing }
public void accept(RotateAt12 RotateAt12) { RotateAt12.visit(this); }
public void accept(RotateAt12 RotateAt12) { //do nothing }
public void accept(RotateAt12 RotateAt12) { RotateAt12.visit(this); }