A collection of state transition mappings for PDAs More...
Inheritance diagram for System.Automata.PushdownTransitionFunction:
Public Member Functions | |
| PushdownTransitionFunction (params PushdownTransition[] t) | |
| void | Add (PushdownTransition t) |
| bool | Contains (PushdownTransition t) |
| bool | Exists (Predicate< Transition > p) |
| IEnumerator< PushdownTransition > | GetEnumerator () |
Public Attributes | |
| int | Count => _trans.Count |
| PushdownTransition [] | this[State p, char a, char alpha] |
Detailed Description
A collection of state transition mappings for PDAs
Member Data Documentation
◆ this[State p, char a, char alpha]
| PushdownTransition [] System.Automata.PushdownTransitionFunction.this[State p, char a, char alpha] |
Initial value:
=>
_trans.Where(x => x.P.Equals(p) && x.A == a && (x.Top == alpha || x.Top == Alphabet.Wildcard)).ToArray()
The documentation for this class was generated from the following file:
- System.Automata/PushdownTransitionFunction.cs
