You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
51 lines
2.0 KiB
51 lines
2.0 KiB
digraph {
|
|
graph [label="Encoder state machine", labelloc="t"]
|
|
start [style="invis", shape="point"]
|
|
not_full
|
|
filled
|
|
search
|
|
yield_tag_bit
|
|
yield_literal
|
|
yield_br_length
|
|
yield_br_index
|
|
save_backlog
|
|
flush_bits
|
|
done [peripheries=2]
|
|
|
|
start->not_full [label="start"]
|
|
|
|
not_full->not_full [label="sink(), not full", color="blue"]
|
|
not_full->filled [label="sink(), buffer is full", color="blue"]
|
|
not_full->filled [label="finish(), set is_finished", color="blue"]
|
|
|
|
filled->search [label="indexing (if any)"]
|
|
|
|
search->search [label="step"]
|
|
search->yield_tag_bit [label="literal"]
|
|
search->yield_tag_bit [label="match found"]
|
|
search->save_backlog [label="input exhausted"]
|
|
|
|
yield_tag_bit->yield_tag_bit [label="poll(), full buf", color="red"]
|
|
yield_tag_bit->yield_literal [label="poll(), literal", color="red"]
|
|
yield_tag_bit->yield_br_index [label="poll(), no literal", color="red"]
|
|
yield_tag_bit->flush_bits [label="finishing, no literal"]
|
|
|
|
yield_literal->yield_literal [label="poll(), full buf", color="red"]
|
|
yield_literal->search [label="poll(), no match", color="red"]
|
|
yield_literal->yield_tag_bit [label="poll(), match", color="red"]
|
|
yield_literal->flush_bits [label="poll(), final literal", color="red"]
|
|
|
|
yield_br_index->yield_br_index [label="poll(), full buf", color="red"]
|
|
yield_br_index->yield_br_length [label="poll()", color="red"]
|
|
|
|
yield_br_length->yield_br_length [label="poll(), full buf", color="red"]
|
|
yield_br_length->search [label="done"]
|
|
|
|
save_backlog->flush_bits [label="finishing, no literal"]
|
|
save_backlog->yield_tag_bit [label="finishing, literal"]
|
|
save_backlog->not_full [label="expect more input"]
|
|
|
|
flush_bits->flush_bits [label="poll(), full buf", color="red"]
|
|
flush_bits->done [label="poll(), flushed", color="red"]
|
|
flush_bits->done [label="no more output"]
|
|
}
|
|
|