blob: f47d2c88d77d9949a2e8ce8c6a70352926cb5244 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
% MIR Match Generation Algorithms and Notes
Alternative DecisionTree generator
=================================
Take the full list of rules and iteratively partition and simplify/propagate
- Requires that all rules have the same format (which they do)
For each index in the rule (all rules must be the same length)
- Sort the rules (with `_` sorting to the end)
- If all rules are `_`, skip and continue
- Group into sub-lists based on the condition
- Add copies of the default to all sub-lists
- NOTE: Default is maintained only if the ruleset is not exhaustive at this level
- TODO: The above approach beaks with value ranges (which can overlap)
- Requires special handling to resolve the overlaps
- Ranges sort after?
|
