This question shows research effort; it is useful and clear
1
This question does not show any research effort; it is unclear or not useful
Bookmark this question.
Show activity on this post.
如果一个元素是可拆卸的,我如何确保它在我的 HASH_TABLE 中?
Current = HASH_TABLE[ARRAYED_SET[G], G]
add_edge (src: G; dst: G)
do
if attached Current.at(src) as edges then
edges.put(dst)
end
ensure
in: Current.at (src).has (dst)
end
add_edge (src: G; dst: G)
do
if attached Current.at(src) as edges then
edges.put(dst)
end
ensure
in: attached Current.at (src) as edges implies edges.has (dst)
end