def add_constraint_to_stack(stack: AutomatonStack): value = stack.pop_data() variable = stack.pop_data() stack.add_data(Constraint(variable, value))
def perform_stack_action(self, stack: AutomatonStack, configuration: Configuration): variable = stack.pop_data() stack.add_data(FunctionDeclaration(variable.name))