#1178 Removed unused BDDPairings in CifBDDSpec. (!1280) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet

Dion Bremer requested to merge dionbremer/escet:remove_bddpairing_cifspec into develop Apr 04, 2025

Removed the unused BDDPairing fields oldToNewVarsPairing and newToOldVarsPairing in CifBDDSpec. These were assigned to in CifToBDDConverter, but never read.

Closes #1178 (closed)

Edited Apr 04, 2025 by Dennis Hendriks

#1178 Removed unused BDDPairings in CifBDDSpec.

Merge request reports