Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

""" 

Abstract ANF to CNF Converter. 

 

All ANF to CNF converters must inherit from this class. 

 

AUTHORS: 

 

- Martin Albrecht (2012): first version 

""" 

 

class ANF2CNFConverter(object): 

pass