Inheritance diagram for System.Automata.PushdownTransition:

Public Member Functions
	PushdownTransition (State p, char a, char s, State q, char[] alpha)

	PushdownTransition (State p, char a, char s, State q, string alpha)

override string	ToString ()

Public Member Functions inherited from System.Automata.Transition
	Transition (State p, char c, State q)

override string	ToString ()

Properties
char	Top `[get]`
	The top stack character More...

char []	Replace `[get]`
	The sequence to replace the top stack character with. Use Alphabet.EmptyString to delete the top stack character. More...

Properties inherited from System.Automata.Transition
State	P `[get]`
	The current state. More...

State	Q `[get]`
	The next state. More...

char	A `[get]`
	The symbol to transition on More...

Property Documentation

◆ Replace

char [] System.Automata.PushdownTransition.Replace

get

The sequence to replace the top stack character with. Use Alphabet.EmptyString to delete the top stack character.

char System.Automata.PushdownTransition.Top

get

The top stack character

The documentation for this class was generated from the following file: