diff options
| author | Mattias Andrée <maandree@operamail.com> | 2012-12-23 14:09:56 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2012-12-23 14:09:56 +0100 |
| commit | a565a38f6199cdffce6f9a6995bfcdc8253d9894 (patch) | |
| tree | e4da6ca3796194f22fdd4e14eee7592eb2b8e43c /sets.py | |
| parent | allow C and ! as alternatives to ~ (diff) | |
| download | sets-a565a38f6199cdffce6f9a6995bfcdc8253d9894.tar.gz sets-a565a38f6199cdffce6f9a6995bfcdc8253d9894.tar.bz2 sets-a565a38f6199cdffce6f9a6995bfcdc8253d9894.tar.xz | |
add suppot for ¬
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'sets.py')
| -rw-r--r-- | sets.py | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -108,7 +108,9 @@ if len(next.elems) > 0: formula = sys.argv[1] formula = formula.replace('\\', '-').replace('*', '&').replace('+', '|') -formula = formula.replace('C', '~').replace('!', '~') +formula = formula.replace('C', '~').replace('!', '~').replace('¬', '~') + + for i in range(0, 10): formula = formula.replace('%i' % i, 'sets[%i]' % i) |