logic library

Validation logic and unit testing.

Classes

Counter
Counts the number of times the validation has been performed.
Equal
Equality rule — checks whether A == B.
Nok
Always invalid
Ok
Always valid - Tautology.
ValueBack
Unit testing purposes - it gives back the input value as String.