package idds
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Bdd : sig ... end
Reduced Ordered Binary Decision Diagrams (BDDs).
module Boolean : sig ... end
module Dd : sig ... end
Decision Diagrams (DDs).
module Idd : sig ... end
Identity Suppressed Decision Diagrams (IDDs).
module Var : sig ... end
Boolean variable on which a DD can branch. Morally just an integer, but kept abstract for safety.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>