Header menu logo F# Header menu logo Averest

AcceptanceType Type

acceptance conditions for automata (FIN means finite words)

Union cases

Union case Description

F

Full Usage: F

FG

Full Usage: FG

FIN

Full Usage: FIN

G

Full Usage: G

GF

Full Usage: GF

Instance members

Instance member Description

this.IsF

Full Usage: this.IsF

Returns: bool
Returns: bool

this.IsFG

Full Usage: this.IsFG

Returns: bool
Returns: bool

this.IsFIN

Full Usage: this.IsFIN

Returns: bool
Returns: bool

this.IsG

Full Usage: this.IsG

Returns: bool
Returns: bool

this.IsGF

Full Usage: this.IsGF

Returns: bool
Returns: bool

Type something to start searching.