from texoutput import texify
from retraction import retractOnWorld,retractOnState
from utilities import getWorldByName
from propositions import propositionFromFormula
from counterfactual import ifItHadBeenTheCase
language = ['p','q','r']
s0 = worldgen(language)
s1=updateFormula(s0, "r")
s2=updateLaw(s1, "(r)>((p)|(q))")
s3=updateFormula(s1, "p")
print "\nThis is s3:"
print(texify(s3))
print "\nThe bases of w_7 in s3 are: "
pprint(getAllBases(getWorldByName("w_7",s3),s3))
prop=propositionFromFormula(s3,"p")
print "\nThe retraction of w_7 with [[p]] is:"
pprint(retractOnWorld(s3,"w_7",prop))
print "\nThe retraction of s3 with [[p]] is:"
s4=retractOnState(s3,prop)
pprint(s4)
print(texify(s4))
from genworlds import *
from pprint import pprint
from updates import *
from basis import *
from texoutput import texify
language = ['p','q','r']
s0 = worldgen(language)
s1=updateFormula(s0, "r")
s2=updateLaw(s1, "(r)>((p)|(q))")
s3=updateFormula(s1, "p")
#pprint(s3)
print(texify(s3,language))
sit1 = {'p': 0, 'q': 1, 'r': 1}
print "\nnow checking this situation and w_5:"
pprint(sit1)
print "determines? ", Determines(sit1,"w_5",s3)
print "basis? ", basisOfWorld(sit1,"w_5",s3)
#sit2 = {'q': 0, 'r': 1, 'p':0}
#print "\nnow checking this situation and w_5:"
#pprint(sit2)
#print "determines? ", Determines(sit2,"w_5",s3)
#print "basis? ", basisOfWorld(sit2,"w_5",s3)
