Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

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.

Merge request reports

Loading