#1187 CIF/BDD: cache work for disc/cont/alg/const refs in pred/expr conversion, plant refs reqs check, and expr precond check (!1318) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet

Best to review per commit.
End-user visible changes:
- The data-based synthesis tool and controller properties checker (for BDD-based checks) now have additional caching, to preventing duplicate work, and in certain situations even preventing exponential blow-ups. This concerns: 1) the result of the pre-condition check for supported expression forms, for references to algebraic variables, 2) the 'plants refer to requirements check' result for references to constants, discrete variables, continuous variables and algebraic variables, and 3) the conversion result for converting references to algebraic variables in predicates and other expressions to BDDs.
Other changes:
- CifToBddConverter: updated class JavaDoc usage instructions.
- PlantsRefsReqsChecker: modernize code a bit (less manual casting).

#1187 CIF/BDD: cache work for disc/cont/alg/const refs in pred/expr conversion, plant refs reqs check, and expr precond check