def main(filename):
global tokentuple
Scan.init(filename)
while True:
raw_input("Press Enter")
print
(textline, indent, tokens) = Scan.readLine()
tree, rest = Parse.parseCOMMANDLINE(tokens)
print "tree =", tree
print "what's left over:", rest
prop2 = nnfOf(tree[1])
print "- shifted inwards:"
print prop2
print
prop3 = nfOf("or", "and", prop2)
print "cnf:"
print prop3
print
prop4 = flatten("or", "and", prop3)
print "flattened cnf:"
print prop4
print
prop5 = removeDuplicates(prop4)
print "no duplicates:", prop5
prop6 = removeOpposites(prop5)
print "simplified cnf:"
print prop6
for clause in prop6:
print clause
Scan.quit()
def main(filename) :
global tokentuple
Scan.init(filename)
while True :
raw_input("Press Enter")
print
(textline, indent, tokens) = Scan.readLine()
tree, rest = parseCOMMANDLINE(tokens)
Scan.write(textline)
print "tree =", tree
print "what's left over:", rest
def testmatch(filename) :
global tokentuple
Scan.init(filename)
raw_input("Press Enter")
print
(textline, indent, tokens) = Scan.readLine()
scheme, rest = parseCOMMANDLINE(tokens)
Scan.write(textline)
print "SCHEME =", scheme[1]
print "what's left over:", rest
raw_input("Press Enter")
print
(textline, indent, tokens) = Scan.readLine()
tree, rest = parseCOMMANDLINE(tokens)
Scan.write(textline)
print "tree =", tree[1]
print "what's left over:", rest
matches = {}
success = match(matches, tree[1],scheme[1])
print "success = ", success
print "matches =", matches
