package Snowflake

  1. Overview
  2. Docs
val support : puint -> MLBDD.support
val sorted_support : puint -> MlbddUtils.supp
val zero : MlbddUtils.t -> puint
val of_guard : MlbddUtils.f -> puint
val of_uint : MlbddUtils.t -> uint -> puint
val (+/) : MlbddUtils.t -> puint -> puint -> puint
val addl : MlbddUtils.t -> puint list -> puint
val coproj_proj : MlbddUtils.supp -> puint -> MlbddUtils.f * puint
val is_trivial : puint -> bool option