54,7 → 54,7 |
inf.close() |
|
def check_condition(text, defaults, ask_names): |
"Check for condition" |
"Check that the condition specified on input line is True (only CNF and DNF is supported)" |
|
ctype = 'cnf' |
|
83,7 → 83,7 |
return False |
|
def check_inside(text, defaults, ctype): |
"Check that the condition specified on input line is True (only CNF is supported)" |
"Check for condition" |
|
if (ctype == 'cnf'): |
conds = text.split('|') |
300,6 → 300,11 |
selname = None |
while True: |
|
# Cancel out all defaults which have to be deduced |
for varname, vartype, name, choices, cond in ask_names: |
if (vartype == 'y'): |
defaults[varname] = None |
|
options = [] |
opt2row = {} |
position = None |