diff --git a/unoptimized_lr/simple_lr_automaton.py b/unoptimized_lr/simple_lr_automaton.py index 9887097935a2341cd32267a2c091dcd95fe30c00..2b68046b05f7bd2ed4307f4e30a2fdd40316b192 100644 --- a/unoptimized_lr/simple_lr_automaton.py +++ b/unoptimized_lr/simple_lr_automaton.py @@ -224,6 +224,8 @@ class ParametrizationConstants(): dummy_signal = Signal(range(longest_serialized_parse_tree)) self.W_parsetree_index = len(dummy_signal) + self.W_serialized_tree = max(W_Nonterminal, W_max_RHS, 1 + W_Terminal, 1+ W_parsetree_index) + class LR_automaton_internal(Layout): def __init__(self, *, parameters):