@Override public boolean equalTo(Op op, NodeIsomorphismMap labelMap) { if ( ! ( op instanceof OpSequence) ) return false ; OpSequence other = (OpSequence) op ; return super.equalsSubOps(other, labelMap) ; }
@Override public boolean equalTo(Op op, NodeIsomorphismMap labelMap) { if ( ! ( op instanceof OpDisjunction) ) return false ; OpDisjunction other = (OpDisjunction) op ; return super.equalsSubOps(other, labelMap) ; }