Ignore:
Timestamp:
Jun 10, 2015, 11:55:50 AM (4 years ago)
Author:
nmedfort
Message:

Multiplexing work: minor bug fix and inconsequential changes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/optimizers/pablo_automultiplexing.hpp

    r4599 r4600  
    2929    using SubsetGraph = boost::adjacency_list<boost::hash_setS, boost::vecS, boost::bidirectionalS>;
    3030    using Advances = std::vector<Advance *>;
    31 
    3231    using RNG = std::mt19937;
    3332    using RNGDistribution = std::uniform_int_distribution<RNG::result_type>;
    34 
    35     using Vertex = ConstraintGraph::vertex_descriptor;
    36 
    37     using IndependentSet = std::vector<Vertex>;
     33    using IndependentSet = std::vector<ConstraintGraph::vertex_descriptor>;
    3834
    3935public:
     
    5248    void topologicalSort(PabloBlock & entry) const;
    5349    inline AutoMultiplexing()
    54     : mPathGraph(0)
     50    : mVariables(0)
     51    , mPathGraph(0)
    5552    {
    5653    }
     
    6966private:
    7067    DdManager *             mManager;
     68    unsigned                mVariables;
    7169    CharacterizationMap     mCharacterizationMap;
    7270    PathGraph               mPathGraph;
Note: See TracChangeset for help on using the changeset viewer.