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.
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.