next
Returns a Pair holding the next State when the edge with the operation op is executed and the BaseOpEdge which is executed. If no matching edge exists for this State, returns null.
Returns a Pair holding the next State when the edge with the operation op is executed and the BaseOpEdge which is executed. If no matching edge exists for this State, returns null.