1 | /* |
2 | * Licensed to the Apache Software Foundation (ASF) under one |
3 | * or more contributor license agreements. See the NOTICE file |
4 | * distributed with this work for additional information |
5 | * regarding copyright ownership. The ASF licenses this file |
6 | * to you under the Apache License, Version 2.0 (the |
7 | * "License"); you may not use this file except in compliance |
8 | * with the License. You may obtain a copy of the License at |
9 | * |
10 | * http://www.apache.org/licenses/LICENSE-2.0 |
11 | * |
12 | * Unless required by applicable law or agreed to in writing, |
13 | * software distributed under the License is distributed on an |
14 | * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY |
15 | * KIND, either express or implied. See the License for the |
16 | * specific language governing permissions and limitations |
17 | * under the License. |
18 | */ |
19 | |
20 | /*! |
21 | * \file conjunctive_normal_form.h |
22 | * |
23 | * \brief Centralized location for simplifying into specific forms |
24 | */ |
25 | |
26 | #ifndef TVM_ARITH_CONJUNCTIVE_NORMAL_FORM_H_ |
27 | #define TVM_ARITH_CONJUNCTIVE_NORMAL_FORM_H_ |
28 | |
29 | #include <tvm/tir/expr.h> |
30 | |
31 | namespace tvm { |
32 | namespace arith { |
33 | |
34 | class Analyzer; |
35 | |
36 | /*! \brief Convert boolean expression to AND of ORs and simplify |
37 | * |
38 | * \param expr The PrimExpr to be simplified |
39 | * |
40 | * \param analyzer The analyzer with which to simplify |
41 | * |
42 | * \return The simplified expression |
43 | */ |
44 | PrimExpr SimplifyAsAndOfOrs(const PrimExpr& expr, Analyzer* analyzer); |
45 | |
46 | } // namespace arith |
47 | } // namespace tvm |
48 | |
49 | #endif // TVM_ARITH_CONJUNCTIVE_NORMAL_FORM_H_ |
50 | |