Source code for pyformlang.pda.state

""" A State in a pushdown automaton """

[docs]class State: """ A State in a pushdown automaton Parameters ---------- value : any The value of the state """ def __init__(self, value): self._value = value self._hash = None self.index_cfg_converter = None def __hash__(self): if self._hash is None: self._hash = hash(self._value) return self._hash @property def value(self): """ Returns the value of the state Returns ---------- value: The value any """ return self._value def __eq__(self, other): if isinstance(other, State): return self._value == other.value return False def __repr__(self): return "State(" + str(self._value) + ")"