diff options
author | Devtools Arcadia <arcadia-devtools@yandex-team.ru> | 2022-02-07 18:08:42 +0300 |
---|---|---|
committer | Devtools Arcadia <arcadia-devtools@mous.vla.yp-c.yandex.net> | 2022-02-07 18:08:42 +0300 |
commit | 1110808a9d39d4b808aef724c861a2e1a38d2a69 (patch) | |
tree | e26c9fed0de5d9873cce7e00bc214573dc2195b7 /contrib/libs/hyperscan/src/nfagraph/ng_split.h | |
download | ydb-1110808a9d39d4b808aef724c861a2e1a38d2a69.tar.gz |
intermediate changes
ref:cde9a383711a11544ce7e107a78147fb96cc4029
Diffstat (limited to 'contrib/libs/hyperscan/src/nfagraph/ng_split.h')
-rw-r--r-- | contrib/libs/hyperscan/src/nfagraph/ng_split.h | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/contrib/libs/hyperscan/src/nfagraph/ng_split.h b/contrib/libs/hyperscan/src/nfagraph/ng_split.h new file mode 100644 index 0000000000..9ddc033257 --- /dev/null +++ b/contrib/libs/hyperscan/src/nfagraph/ng_split.h @@ -0,0 +1,76 @@ +/* + * Copyright (c) 2015-2017, Intel Corporation + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * * Redistributions of source code must retain the above copyright notice, + * this list of conditions and the following disclaimer. + * * Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * * Neither the name of Intel Corporation nor the names of its contributors + * may be used to endorse or promote products derived from this software + * without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +/** \file + * \brief Functions for splitting NFAGraphs into LHS and RHS. + */ + +#ifndef NG_SPLIT_H +#define NG_SPLIT_H + +#include "ng_holder.h" + +#include <unordered_map> +#include <vector> + +namespace ue2 { + +class NGHolder; + +/** Note: pivot should be a vertex that dominates acceptEod. Treating 'in' + * allocated to rhs if they are reachable from the pivot. Conversely, a vertex + * is in the lhs if it is reachable from start without going through the + * pivot. The pivot ends up in the LHS and any adjacent vertices in the RHS. + * + * Note: The RHS is setup to be triggered by TOP 0 + * + * When multiple split vertices are provided: + * - RHS contains all vertices reachable from every pivot + * - LHS contains all vertices which are reachable from start ignoring any + * vertices which have an edge to every pivot + */ +void splitGraph(const NGHolder &base, NFAVertex pivot, NGHolder *lhs, + std::unordered_map<NFAVertex, NFAVertex> *lhs_map, + NGHolder *rhs, + std::unordered_map<NFAVertex, NFAVertex> *rhs_map); + +void splitGraph(const NGHolder &base, const std::vector<NFAVertex> &pivots, + NGHolder *lhs, + std::unordered_map<NFAVertex, NFAVertex> *lhs_map, + NGHolder *rhs, + std::unordered_map<NFAVertex, NFAVertex> *rhs_map); + +void splitLHS(const NGHolder &base, NFAVertex pivot, NGHolder *lhs, + std::unordered_map<NFAVertex, NFAVertex> *lhs_map); + +void splitRHS(const NGHolder &base, const std::vector<NFAVertex> &pivots, + NGHolder *rhs, std::unordered_map<NFAVertex, NFAVertex> *rhs_map); + +} // namespace ue2 + +#endif // NG_SPLIT_H |