Merge jt
fixes access specifiers in various places.
Introduces classes for random events as a step towards code implications in random automaton, grammar, etc. generators.
Redesignes BackwardOccurrenceTest of trees vs tree patterns to use size_t.
Hello ,
GitLab will be updated today at 20:00, expect short outage.
fixes access specifiers in various places.
Introduces classes for random events as a step towards code implications in random automaton, grammar, etc. generators.
Redesignes BackwardOccurrenceTest of trees vs tree patterns to use size_t.