Example #1
0
 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()
Example #2
0
  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)