13 using StrPrinter::apply;
14 using StrPrinter::bvisit;
17 const RCP<const Basic> &b)
override;
19 void bvisit(
const And &x);
20 void bvisit(
const Or &x);
21 void bvisit(
const Xor &x);
22 void bvisit(
const Not &x);
24 void bvisit(
const Infty &x);