Ignore:
Timestamp:
Nov 6, 2016, 8:37:11 PM (3 years ago)
Author:
nmedfort
Message:

Initial work on adding types to PabloAST and mutable Var objects.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/optimizers/booleanreassociationpass.h

    r5160 r5202  
    5656    void reduceVertex(const Vertex u, CharacterizationMap & C, VertexMap & M, Graph & G);
    5757
    58     bool factorGraph(const TypeId typeId, Graph & G, std::vector<Vertex> & factors) const;
     58    bool factorGraph(TypeId typeId, Graph & G, std::vector<Vertex> & factors) const;
    5959    bool factorGraph(Graph & G) const;
    6060
    61     static Vertex makeVertex(const TypeId typeId, PabloAST * const expr, Graph & G, Z3_ast node = nullptr);
    62     static Vertex makeVertex(const TypeId typeId, PabloAST * const expr, StatementMap & M, Graph & G, Z3_ast node = nullptr);
    63     static Vertex makeVertex(const TypeId typeId, PabloAST * const expr, CharacterizationMap & C, StatementMap & S, VertexMap & M, Graph & G);
     61    static Vertex makeVertex(TypeId typeId, PabloAST * const expr, Graph & G, Z3_ast node = nullptr);
     62    static Vertex makeVertex(TypeId typeId, PabloAST * const expr, StatementMap & M, Graph & G, Z3_ast node = nullptr);
     63    static Vertex makeVertex(TypeId typeId, PabloAST * const expr, CharacterizationMap & C, StatementMap & S, VertexMap & M, Graph & G);
    6464
    6565    void removeVertex(const Vertex u, VertexMap & M, Graph & G) const;
    6666    void removeVertex(const Vertex u, Graph & G) const;
    6767
    68     Z3_ast computeDefinition(const TypeId typeId, const Vertex u, Graph & G, const bool use_expensive_minimization = false) const;
    69     Vertex updateIntermediaryDefinition(const TypeId typeId, const Vertex u, VertexMap & M, Graph & G);
    70     Vertex updateSinkDefinition(const TypeId typeId, const Vertex u, CharacterizationMap &C, VertexMap & M, Graph & G);
     68    Z3_ast computeDefinition(TypeId typeId, const Vertex u, Graph & G, const bool use_expensive_minimization = false) const;
     69    Vertex updateIntermediaryDefinition(TypeId typeId, const Vertex u, VertexMap & M, Graph & G);
     70    Vertex updateSinkDefinition(TypeId typeId, const Vertex u, CharacterizationMap &C, VertexMap & M, Graph & G);
    7171    bool redistributeGraph(CharacterizationMap & C, VertexMap & M, Graph & G);
    7272
Note: See TracChangeset for help on using the changeset viewer.