scala-automata/org.maraist.fa.util/EdgeAnnotationCombiner

EdgeAnnotationCombiner

trait EdgeAnnotationCombiner[NA, DA]

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
class Object
trait Matchable
class Any

Value members

Abstract methods

def combine(k1: DA, k2: DA): DA

Combine two converted annotations.

Combine two converted annotations.

def include(k: DA, a: NA): DA

Incorporate another annotation.

Incorporate another annotation.

def single(a: NA): DA

Lift a single annotation to the result annotation type.

Lift a single annotation to the result annotation type.