FSA<'a>
Namespace: QuickGraph.FSA
Parent Module: GraphBasedFsa
Constructors
| Constructor | Description |
new()
Signature: unit -> FSA<'a>
|
CompiledName: |
new(initial, final, transitions)
Signature: (initial:ResizeArray<int> * final:ResizeArray<int> * transitions:ResizeArray<int * Symb<'a> * int>) -> FSA<'a>
|
CompiledName: |
Instance members
| Instance member | Description |
Complementation(...)
Signature: (alphabet:seq<'?7299> * newSmb:('?7299 -> Symb<'a>) * getChar:(Symb<'a> -> '?7299)) -> FSA<'a>
|
|
Concat(fsa2)
Signature: fsa2:FSA<'a> -> FSA<'a>
|
|
FinalState()
Signature: unit -> ResizeArray<int>
|
CompiledName: |
FinalState()
Signature: unit -> unit
|
CompiledName: |
InitState()
Signature: unit -> ResizeArray<int>
|
CompiledName: |
InitState()
Signature: unit -> unit
|
CompiledName: |
IsEmpty
Signature: bool
|
CompiledName: |
NfaToDfa()
Signature: unit -> FSA<'a>
|
|
PrintToDOT(filePath, printSmb)
Signature: (filePath:string * printSmb:('a -> string) option) -> unit
|
|
RemoveExtraPaths()
Signature: unit -> FSA<'a>
|
|
Union(fsa2)
Signature: fsa2:FSA<'a> -> FSA<'a>
|
|
Static members
| Static member | Description |
Concat(fsa1, fsa2)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a>) -> FSA<'a>
|
|
CreateAnyWordsFsa(fsaParams)
Signature: fsaParams:FsaParams<'?7309,'a> -> FSA<'a>
|
Creates FSA accepting any word over the alphabet, passed as a parameter through FsaParams |
CustomizableReplace(...)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a> * fsa3:FSA<'a> * smb1:'?7296 * smb2:'?7296 * getChar:(Symb<'a> -> '?7296) * newSmb:('?7296 -> Symb<'a>) * equalSmbl:('a -> 'a -> bool)) -> ReplaceAppetite * ReplaceOrder * ReplaceAmount -> FSA<'a>
|
|
GreedyReplace(...)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a> * fsa3:FSA<'a> * smb1:'?7290 * smb2:'?7290 * getChar:(Symb<'a> -> '?7290) * newSmb:('?7290 -> Symb<'a>) * equalSmbl:('a -> 'a -> bool)) -> FSA<'a>
|
|
Intersection(fsa1, fsa2, equalSmbl)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a> * equalSmbl:('a -> 'a -> bool)) -> FSA<'a>
|
|
IsSubFsa(a1, a2, fsaParams)
Signature: (a1:FSA<'a> * a2:FSA<'a> * fsaParams:FsaParams<'?7306,'a>) -> bool
|
Checks if the language accepted by FSA a1 is a sublanguage of the language accepted by FSA a2. Expects any fsa |
ReluctantReplace(...)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a> * fsa3:FSA<'a> * smb1:'?7293 * smb2:'?7293 * getChar:(Symb<'a> -> '?7293) * newSmb:('?7293 -> Symb<'a>) * equalSmbl:('a -> 'a -> bool)) -> FSA<'a>
|
|
Replace(...)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a> * fsa3:FSA<'a> * smb1:'?7287 * smb2:'?7287 * getChar:(Symb<'a> -> '?7287) * newSmb:('?7287 -> Symb<'a>) * equalSmbl:('a -> 'a -> bool)) -> FSA<'a>
|
fsa1 -- original strings; fsa2 -- match strings; fsa3 -- replacement strings, FSAs are not empty |
Union(fsa1, fsa2)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a>) -> FSA<'a>
|
|
Widen(fsa1, fsa2, fsaParams)
Signature: (fsa1:FSA<'a> * fsa2:FSA<'a> * fsaParams:FsaParams<'?7312,'a>) -> FSA<'a>
|
Widening operator for FSA |
