 Timestamp:
 Sep 15, 2016, 4:29:27 PM (3 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

icGREP/icgrepdevel/icgrep/pablo/optimizers/booleanreassociationpass.h
r5156 r5157 44 44 BooleanReassociationPass(Z3_context ctx, Z3_params params, Z3_tactic tactic, PabloFunction & f); 45 45 bool processScopes(PabloFunction & function); 46 void processScopes(PabloBlock * const block, CharacterizationMap & map);46 void processScopes(PabloBlock * const block, CharacterizationMap & C); 47 47 void distributeScope(PabloBlock * const block, CharacterizationMap & C); 48 48 … … 52 52 bool contractGraph(Graph & G) const; 53 53 54 bool reduceVertex(const Vertex u, CharacterizationMap & C, VertexMap & M, Graph & G, const bool use_expensive_simplification) const; 55 bool reduceGraph(CharacterizationMap & C, VertexMap & M, Graph & G) const; 54 bool reduceGraph(CharacterizationMap & C, VertexMap & M, Graph & G); 55 56 enum class Reduction { 57 NoChange 58 , Simplified 59 , Removed 60 }; 61 62 Reduction reduceVertex(const Vertex u, CharacterizationMap & C, VertexMap & M, Graph & G, const bool use_expensive_simplification); 56 63 57 64 bool factorGraph(const PabloAST::ClassTypeId typeId, Graph & G, std::vector<Vertex> & factors) const; … … 64 71 void removeVertex(const Vertex u, Graph & G) const; 65 72 66 bool redistributeGraph(CharacterizationMap & C, VertexMap & M, Graph & G) const;73 bool redistributeGraph(CharacterizationMap & C, VertexMap & M, Graph & G); 67 74 68 75 bool rewriteAST(CharacterizationMap & C, VertexMap &M, Graph & G); … … 72 79 Z3_ast simplify(Z3_ast node, bool use_expensive_minimization = false) const; 73 80 74 Z3_ast makeVar() const;81 Z3_ast makeVar(); 75 82 76 83 private: … … 80 87 Z3_tactic const mTactic; 81 88 Z3_ast mInFile; 89 std::vector<Z3_ast> mRefs; 82 90 PabloFunction & mFunction; 83 91 bool mModified;
Note: See TracChangeset
for help on using the changeset viewer.