C# (CSharp) PAT.Common.Classes.LTL2DRA NBA_State_EdgeManager Examples

Example #1

File: NBA_State.cs Project: nhannhan159/PAT

        /**
 * Constructor.
 * @param graph The automaton (NBA) that contains this state.
 */
        public NBA_State(NBA graph, int index)
        {
            _graph = graph;
            _isFinal = false;
            _edge_manager = new NBA_State_EdgeManager(this, graph.getAPSet());
            Index = index;
        }

Example #2

File: NBA_State.cs Project: vu111293/pat-design

 /**
  * Constructor.
  * @param graph The automaton (NBA) that contains this state.
  */
 public NBA_State(NBA graph, int index)
 {
     _graph        = graph;
     _isFinal      = false;
     _edge_manager = new NBA_State_EdgeManager(this, graph.getAPSet());
     Index         = index;
 }