smcdel-1.3.0: Symbolic Model Checking for Dynamic Epistemic Logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

SMCDEL.Other.BDD2Form

Description

Helper module for Bdd-to-Formula conversion.

Synopsis

Documentation

formOf :: Bdd -> Form Source #

Convert a Bdd from HasCacBDD to SMCDEL Formulas.