Home
last modified time | relevance | path

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

/external/stg/
Dunification.cc50 struct Unifier { struct
51 enum Winner { Neither, Right, Left }; // makes p ? Right : Neither a no-op
53 Unifier(const Graph& graph, Unification& unification) in Unifier() argument
56 bool operator()(Id id1, Id id2) { in operator ()()
92 bool operator()(const std::optional<Id>& opt1, in operator ()()
100 bool operator()(const std::vector<Id>& ids1, const std::vector<Id>& ids2) { in operator ()()
109 bool operator()(const std::map<Key, Id>& ids1, in operator ()()
125 Winner operator()(const Special& x1, const Special& x2) { in operator ()()
130 Winner operator()(const PointerReference& x1, in operator ()()
137 Winner operator()(const PointerToMember& x1, const PointerToMember& x2) { in operator ()()
[all …]