State

class State(name: Int, isStart: Boolean = false, isAcceptingState: Boolean = false)

A simple class representing a state in an FSM.

name is the name of the State and must be unique for the FSM.
isStart indicates if it is the starting state.
isAcceptingState indicates if this State accepts the FSM (in our case, this means that the order of statements was correct).

Constructors

constructor(name: Int, isStart: Boolean = false, isAcceptingState: Boolean = false)

Must only be changed through FSM.changeStateProperty as soon as they are part of a FSM.

Must only be changed through FSM.changeStateProperty as soon as they are part of a FSM.

Must only be changed through FSM.changeStateProperty as soon as they are part of a FSM.

fun addEdge(edge: Edge)

fun copy(name: Int = this.name, isStart: Boolean = this.isStart, isAcceptingState: Boolean = this.isAcceptingState): State

Create a shallow copy

fun deepCopy(currentStates: MutableSet<State> = mutableSetOf()): MutableSet<State>

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun toString(): String