GraphCore is an internal representation for the core graph operations, and this should not be directly accessed by the user.
Instance member | Description |
|
|
Full Usage:
this.AddDummyVertex(arg1)
Parameters:
'G
Returns: Vertex<'D> * 'G
Modifiers: abstract |
|
|
|
Full Usage:
this.AddVertex(arg1) (arg2)
Parameters:
'G
arg1 : 'D
Returns: Vertex<'D> * 'G
Modifiers: abstract |
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
this.FoldVertex(arg1) (arg2)
Parameters:
'a -> Vertex<'D> -> 'a
arg1 : 'a
Returns: 'a
Modifiers: abstract |
|
|
|
Full Usage:
this.GetSize()
Returns: int
Modifiers: abstract |
|
|
|
|
|
|
|
Full Usage:
this.InitGraph(arg1)
Parameters:
GraphCore<'D, 'E, 'G> option
Returns: 'G
Modifiers: abstract |
|
|
|
|
|
|
|
Full Usage:
this.RemoveVertex(arg1) (arg2)
Parameters:
'G
arg1 : Vertex<'D>
Returns: 'G
Modifiers: abstract |
|
|
|
|
|
|
|
|