rsdd

Module serialize

Source
Expand description

contains representations of core datastructures that can be serialized

Structs§

BDDSerializer
SDDAnd
SDDOr
SDDSerializer
SerBDD
VTreeSerializer

Enums§

LogicalSExpr
SerBDDPtr
SerSDDPtr
SerVTree