def getClauses_Symbols(cnf):
clauses = []
symbols = []
split_clauses = cnf.split("),")
for clause in split_clauses:
clause = clause.replace("(", "").replace(")", "")
new_clause = []
for symbol in clause.split(","):
new_clause.append(symbol)
symbols.append(symbol)
clauses.append(new_clause)
return clauses, symbols
def getClauses_Symbols(cnf):
global symLength
clauses = []
symbols = set()
split_clauses = cnf.split("),")
for clause in split_clauses:
clause = clause.replace("(", "").replace(")", "")
new_clause = []
for symbol in clause.split(","):
new_clause.append(symbol)
if abs(int(symbol)) not in symbols:
symbols.add(abs(int(symbol)))
clauses.append(new_clause)
symLength = len(symbols)
return clauses, symbols