symbolic.StateIndex

class symbolic.StateIndex

Bases: pybind11_object

__init__(*args, **kwargs)

Methods

__init__(*args, **kwargs)
get_indexed_state(self, arg0)
get_proposition(self, arg0)
get_proposition_index(self, arg0)
get_state(self, arg0)

get_indexed_state(self: symbolic.pysymbolic.StateIndex, arg0: Set[str]) → numpy.ndarray[bool[m, 1]]

get_proposition(self: symbolic.pysymbolic.StateIndex, arg0: int) → str

get_proposition_index(self: symbolic.pysymbolic.StateIndex, arg0: str) → int

get_state(self: symbolic.pysymbolic.StateIndex, arg0: numpy.ndarray[bool[m, 1]]) → Set[str]