Ignore:
Timestamp:
Mar 25, 2016, 5:42:03 PM (3 years ago)
Author:
nmedfort
Message:

Symbol table work and untested kernel instatiate method for multiple input streams

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/analysis/pabloverifier.cpp

    r4959 r4991  
    44#include <pablo/printer_pablos.h>
    55#include <iostream>
    6 #ifdef USE_BOOST
    76#include <boost/container/flat_set.hpp>
    8 #else
    9 #include <unordered_set>
    10 #endif
    117#include <queue>
    128
     
    1410namespace pablo {
    1511
    16 #ifdef USE_BOOST
    1712template <typename Type>
    1813using SmallSet = boost::container::flat_set<Type>;
    19 #else
    20 template <typename Type>
    21 using SmallSet = std::unordered_set<Type>;
    22 #endif
    2314
    2415using ScopeSet = SmallSet<const PabloBlock *>;
Note: See TracChangeset for help on using the changeset viewer.