Open PVarnai opened 3 years ago
The build_full_margin function could possibly be made more efficient by directly iterating over existing edges as opposed to rebuilding the entire product automaton.
The build_full_margin function could possibly be made more efficient by directly iterating over existing edges as opposed to rebuilding the entire product automaton.