wd/io.github.jmltoolkit.wd

Package-level declarations

Types

object WdFacade

Facade to dive into well-definedness checks.

class WDVisitor : VoidVisitorAdapter<Any?>

class WDVisitorExpr(smtLog: SmtQuery, translator: ArithmeticTranslator) : GenericVisitorAdapter<SExpr, Any?>