1

如果一个元素是可拆卸的,我如何确保它在我的 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
4

1 回答 1

1

你有没有尝试过:

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
于 2014-01-05T15:42:37.830 回答