AcceptanceType Type
acceptance conditions for automata (FIN means finite words)
Union cases
Union case | Description |
Full Usage:
F
|
|
Full Usage:
FG
|
|
Full Usage:
FIN
|
|
Full Usage:
G
|
|
Full Usage:
GF
|
|
Instance members
Instance member | Description |
Full Usage:
this.IsF
Returns: bool
|
|
Full Usage:
this.IsFG
Returns: bool
|
|
Full Usage:
this.IsFIN
Returns: bool
|
|
Full Usage:
this.IsG
Returns: bool
|
|
Full Usage:
this.IsGF
Returns: bool
|
|