def _set_data_from_graphs(self): self._name = self.fa_graph.name self._inputs = self.fa_graph.inputs self._outputs = self.fa_graph.outputs if "block_groups" in self._fa_graph.properties: self._block_groups = set(split_by_comma(self._fa_graph.properties["block_groups"])) else: self._block_groups = set()
def _set_data_from_graphs(self): self._name = self.connection_graph.name self._inputs = self.connection_graph.inputs self._outputs = self.connection_graph.outputs if "block_groups" in self._connection_graph.properties: self._block_groups = split_by_comma(self._connection_graph.properties["block_groups"]) self._initial_state = str(dict((x, fa.INITIAL) for x in self._connection_graph.node)) self._fa_graph = TrivialFA(pure_block_states(self.initial_state), self.inputs, self.outputs) self._nfa_graph = TrivialFA(self.initial_state, self.inputs, self.outputs)