SimpleInputGraph<'tag>
Namespace: AbstractAnalysis.Common
Constructors
| Constructor | Description |
new(initial, tagToToken)
Signature: (initial:int<MeasureProduct<positionInInput,MeasureOne>> [] * tagToToken:('tag -> int)) -> SimpleInputGraph<'tag>
|
CompiledName: |
new(n, tagToToken)
Signature: (n:int * tagToToken:('tag -> int)) -> SimpleInputGraph<'tag>
|
CompiledName: |
new(initial, final, tagToToken)
Signature: (initial:int * final:int * tagToToken:('tag -> int)) -> SimpleInputGraph<'tag>
|
CompiledName: |
new(...)
Signature: (initialVertices:int [] * finalVertices:int [] * tagToToken:('tag -> int)) -> SimpleInputGraph<'tag>
|
CompiledName: |
Instance members
| Instance member | Description |
FinalStates()
Signature: unit -> int []
|
CompiledName: |
FinalStates()
Signature: unit -> unit
|
CompiledName: |
InitStates
Signature: int []
|
CompiledName: |
PrintToDot(name tagToString)
Signature: name:string -> (tagToString:('tag -> string)) -> unit
|
|
TagToToken
Signature: 'tag -> int
|
CompiledName: |
