search

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.
https://w4eg.de/malvin/illc/smcdelweb
GNU General Public License v2.0
41 stars 9 forks source link

instance Show BelStruct is not lawful #42

Open m4lvin opened 6 months ago

m4lvin commented 6 months ago

Currently show on belief structures generates code like

(BlS [P 0,P 1,P 2,P 3,P 4] Data.HasCacBDD.Top (fromList [("1",emptyRelBdd),("2",emptyRelBdd),("3",emptyRelBdd),("4",totalRelBdd),("5",Tagged Var 12 Top Bot)]),[])

This is missing brackets after Tagged and would be nicer if it used things like emptyRelBdd etc.