Distances in inclusion

[kilohsakul]

compute ditance of states to final states and prune inclusion pairs based on that, fastetr on some problematic examples

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (ead8c28) 71.57% compared to head (d944cf0) 71.80%.
Report is 1 commits behind head on devel.

❗ Current head d944cf0 differs from pull request most recent head a19cec0. Consider uploading reports for the commit a19cec0 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##            devel     #365      +/-   ##
==========================================
+ Coverage   71.57%   71.80%   +0.22%     
==========================================
  Files          30       30              
  Lines        3610     3643      +33     
  Branches      830      836       +6     
==========================================
+ Hits         2584     2616      +32     
  Misses        735      735              
- Partials      291      292       +1     

Files	Coverage Δ
include/mata/nfa/nfa.hh	100.00% <ø> (ø)
src/nfa/inclusion.cc	90.24% <94.73%> (+1.45%)	⬆️
src/nfa/nfa.cc	81.09% <94.11%> (+1.00%)	⬆️

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[kilohsakul]

Try these examples (problematic in the last two versions of mata)

/nfa-bench/benchmarks/automata_inclusion/true-IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partiali-B-1-lhs.mata /nfa-bench/benchmarks/automata_inclusion/true-IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partiali-B-1-rhs.mata

/nfa-bench/benchmarks/automata_inclusion/false-IBakery5PUnrEnc-FbOneOne-Nondet-Partiali-B-3-lhs.mata /nfa-bench/benchmarks/automata_inclusion/false-IBakery5PUnrEnc-FbOneOne-Nondet-Partiali-B-3-rhs.mata

/nfa-bench/benchmarks/automata_inclusion/false-IBakery5PUnrEnc-FbOneOne-Nondet-Partiali-B-1-lhs.mata /nfa-bench/benchmarks/automata_inclusion/false-IBakery5PUnrEnc-FbOneOne-Nondet-Partiali-B-1-rhs.mata

[Adda0]

LGTM. We will run the experiments and see how it performs.