SergeyStaroletov/EDTL: Object-oriented implementation of the bounded checking algorithm for EDTL-requirements

Our implementation of the bounded checking algorithm for given EDTL-requirements. We implemented the EDTL-formulas as classes based on the EDTL terms. Then we encoded the R1..R5 requirements for our case study. So the user can use provided classes by implementing their own system consisted of cases inherited from CheckableReq and overriding six methods that specify the requirements in terms of our logic. This integrates the requirements checking process into the unit testing process.