public virtual void Reset() { EdgeLookup.Clear(); NodeLookup.Clear(); UnsatisfiedSuccessorsLookup.Clear(); EdgeHeadNodeLookup.Clear(); EdgeTailNodeLookup.Clear(); }