Class PushdownAutomaton.TransitionResult

java.lang.Object

org.episteme.core.mathematics.discrete.PushdownAutomaton.TransitionResult

Enclosing class:

PushdownAutomaton<S,A,G>

public class PushdownAutomaton.TransitionResult
extends Object

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Field Summary

Fields

Modifier and Type	Field	Description
final S	nextState
final List<G>	symbolsToPush

Constructor Summary

Constructors

Constructor	Description
TransitionResult(S nextState, List<G> symbolsToPush)

Method Summary

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

nextState

public final S nextState

symbolsToPush

public final List<G> symbolsToPush

Constructor Details

TransitionResult

public TransitionResult(S nextState,
 List<G> symbolsToPush)