Header menu logo FsLexYacc

NfaNodeIdSet Type

Constructors

Constructor Description

NfaNodeIdSet(nodes)

Full Usage: NfaNodeIdSet(nodes)

Parameters:
Returns: NfaNodeIdSet
nodes : NfaNodeIdSetBuilder
Returns: NfaNodeIdSet

Instance members

Instance member Description

this.Elements

Full Usage: this.Elements

Returns: NodeId[]
Returns: NodeId[]

this.Fold

Full Usage: this.Fold

Parameters:
    f : 'a -> NodeId -> 'a
    z : 'a

Returns: 'a
f : 'a -> NodeId -> 'a
z : 'a
Returns: 'a

this.IsEmpty

Full Usage: this.IsEmpty

Returns: bool
Returns: bool

this.Iterate

Full Usage: this.Iterate

Parameters:
f : NodeId -> unit

this.Representation

Full Usage: this.Representation

Returns: NodeId[]
Returns: NodeId[]

Type something to start searching.