""" 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) + ")"