@Override public void visitSelf(final ATermAppl term) { _out.print("("); visit((ATermAppl) term.getArgument(0)); _out.print(" Self)"); }
@Override public void visitValue(final ATermAppl term) { _out.print("("); visit((ATermAppl) term.getArgument(0)); _out.print(")"); }
public void visitList(final ATermList list, final String op) { int size = list.getLength(); for (final ATerm term : list) { visit((ATermAppl) term); size--; if (size != 0) _out.print(" " + op + " "); } }
public void visitList(final ATermList list, final String op) { int size = list.getLength(); for (final ATerm term : list) { visit((ATermAppl) term); size--; if (size != 0) _out.print(" " + op + " "); } }
@Override public void visitInverse(final ATermAppl p) { _out.print("inverse "); visit((ATermAppl) p.getArgument(0)); }
@Override public void visitSelf(final ATermAppl term) { _out.print("("); visit((ATermAppl) term.getArgument(0)); _out.print(" Self)"); }
@Override public void visitNot(final ATermAppl term) { _out.print("not "); visit((ATermAppl) term.getArgument(0)); }
@Override public void visitNot(final ATermAppl term) { _out.print("not "); visit((ATermAppl) term.getArgument(0)); }
@Override public void visitInverse(final ATermAppl p) { _out.print("inverse "); visit((ATermAppl) p.getArgument(0)); }
@Override public void visitValue(final ATermAppl term) { _out.print("("); visit((ATermAppl) term.getArgument(0)); _out.print(")"); }
@Override public void visitCard(final ATermAppl term) { _out.print("("); visit((ATermAppl) term.getArgument(0)); _out.print(" exactly " + ((ATermInt) term.getArgument(1)).getInt()); _out.print(")"); }
@Override public void visitCard(final ATermAppl term) { _out.print("("); visit((ATermAppl) term.getArgument(0)); _out.print(" exactly " + ((ATermInt) term.getArgument(1)).getInt()); _out.print(")"); }