push before switch back to directed edge (GraphEdge).
Apr 30
Fixed concurrent issues. push before improve the cost model
update type
Att type and Interfaces
The 1st working version without pull-up operator.
Merge remote-tracking branch 'rui/master'