YaccConstructor


ParserInputGraph<'token>

Namespace: AbstractAnalysis.Common

Constructors

ConstructorDescription
new(initial, final)
Signature: (initial:int * final:int) -> ParserInputGraph<'token>

CompiledName: .ctor

new(initialVertices, finalVertices)
Signature: (initialVertices:int [] * finalVertices:int []) -> ParserInputGraph<'token>

CompiledName: .ctor

Instance members

Instance memberDescription
FinalStates()
Signature: unit -> int []

CompiledName: set_FinalStates

FinalStates()
Signature: unit -> unit

CompiledName: get_FinalStates

InitStates
Signature: int []

CompiledName: get_InitStates

PrintToDot(name numToString)
Signature: name:string -> (numToString:('token -> string)) -> unit
Fork me on GitHub