Changeset 1029:374a9519986b in lemon-main
- Timestamp:
 - 02/05/12 00:04:44 (14 years ago)
 - Branch:
 - default
 - Phase:
 - public
 - File:
 - 
          
- 1 edited
 
- 
          lemon/lgf_reader.h (modified) (1 diff)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
        
lemon/lgf_reader.h
r1026 r1029 2954 2954 } 2955 2955 2956 e = _graph.addEdge(source, target); 2956 // It is checked that source is red and 2957 // target is blue, so this should be safe: 2958 e = _graph.addEdge(_graph.asRedNodeUnsafe(source), 2959 _graph.asBlueNodeUnsafe(target)); 2957 2960 if (label_index != -1) 2958 2961 _edge_index.insert(std::make_pair(tokens[label_index], e));  
Note: See TracChangeset
          for help on using the changeset viewer.
      
