Searched refs:Relationships (Results 1 – 5 of 5) sorted by relevance
66 Array Relationships; member
639 Relationships.emplace_back(std::move(Relationship)); in addRelationship()1028 Root["relationships"] = std::move(EM.Relationships); in serializeGraph()
144 // Relationships between types:
2058 Theorem Proving --- Some Relationships 107--115
5320 …rings-sequence of like codes-by three methods and in four directions. Relationships are developed …15546 title = "State-Space, Problem-Reduction, and Theorem Proving --- Some Relationships",