if (!pred.getOutEdges().hasExactEdge(pred, role, this))
if (!pred.getOutEdges().hasExactEdge(pred, role, this))
final Role role = edge.getRole(); if (!succ._inEdges.hasExactEdge(this, role, succ))
final Role role = edge.getRole(); if (!succ._inEdges.hasExactEdge(this, role, succ))