Averest


AtomIndex Type

AtomIndex is used to label the Bdd nodes (and map them to expressions)