GraphLabelledVertex<'tagType>

Namespace: AbstractAnalysis.Common

Constructor	Description
`new(initial, tagToToken)` Signature: (initial:'tagType [] * tagToToken:('tagType -> int)) -> GraphLabelledVertex<'tagType>	CompiledName: `.ctor`
`new(...)` Signature: (initialVertices:'tagType [] * finalVertices:'tagType [] * tagToToken:('tagType -> int)) -> GraphLabelledVertex<'tagType>	CompiledName: `.ctor`

Instance member	Description
`AddEdges(edges)` Signature: (edges:TaggedEdge<'tagType,'tagType> []) -> unit
`FinalStates()` Signature: unit -> 'tagType []	CompiledName: `set_FinalStates`
`FinalStates()` Signature: unit -> unit	CompiledName: `get_FinalStates`
`InitStates` Signature: 'tagType []	CompiledName: `get_InitStates`
`TagToToken` Signature: 'tagType -> int	CompiledName: `get_TagToToken`