| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
removed if it wasn't referenced by itself.
|
|
|
|
Fixed this by not bypassing final nodes.
|
|
|
|
|
|
|
|
yet working SRGS minimization function.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
implementation of reachable.
|
|
and FiniteState. Some clean-up and smaller performance fixes.
|
|
for speed.
|
|
of [State] as DFA labels.
|
|
improve performance of minimize with large networks.
|
|
|
|
in the FA generation.
|
|
|
|
|
|
|
|
actually final.
|
|
|
|
|
|
|
|
in SRG generation. Added support for probabilities in for SRGS.
|
|
|
|
|
|
|
|
|
|
properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.
|
