Reductions
The CFA reductions are responsible to simplify the instance or declaration CFAs used in a CFA job. Each CFA reduction implements the cern.plcverif.base.extensions.reduction extension point, essentially providing an implementation for the IReduction extension for the CFA jobs.
Currently, the library shipped with PLCverif contains the following reductions: