org.maraist.fa.util
package org.maraist.fa.util
Type members
Classlikes
Operations for converting NFA to DFA annotations, and for combining pairs of annotations, when converting an annotated NFA into an annotated DFA.
Operations for converting NFA to DFA annotations, and for combining pairs of annotations, when converting an annotated NFA into an annotated DFA.
- Type Params
- A
The type of annotations on transitions in the NFA
- K
Type function/contructor producing the type of annotation
- Companion
- object