Assertion: algorithm's set | /r/HasProperty | vertex
Facets:
Source sentences:
text: We maintain two sets, one set contains vertices included in the shortest-path tree, other set includes vertices not yet included in the shortest-path tree.