Home
last modified time | relevance | path

Searched defs:Unifier (Results 1 – 1 of 1) sorted by relevance

/external/stg/
Dunification.cc43 struct Unifier { struct
44 enum Winner { Neither, Right, Left }; // makes p ? Right : Neither a no-op
46 Unifier(const Graph& graph, Unification& unification) in Unifier() function
49 bool operator()(Id id1, Id id2) { in operator ()()
83 bool operator()(const std::optional<Id>& opt1, in operator ()()
91 bool operator()(const std::vector<Id>& ids1, const std::vector<Id>& ids2) { in operator ()()
100 bool operator()(const std::map<Key, Id>& ids1, in operator ()()
116 Winner operator()(const Special& x1, const Special& x2) { in operator ()()
121 Winner operator()(const PointerReference& x1, in operator ()()
128 Winner operator()(const PointerToMember& x1, const PointerToMember& x2) { in operator ()()
[all …]