DiscreteTom/retsac

Built-in support for conflict rejecter

Closed this issue · 1 comments

Currently the conflict rejecter is implemented using Rejecter. But it should be more efficient to implement it in Candidate.tryReduce.

With this feature we can serialize DFA. #2