public interface EncodingPrinter
BDDEncoding
void
print(BDDEncoding encoding)
void print(BDDEncoding encoding)
encoding