| /dports/math/reduce/Reduce-svn5758-src/doc/manual2/ |
| H A D | redlog.tex | 224 \section{Simplification} section in REDLOG: Logic System
229 \subsection{Standard Simplifier}
248 \subsection{Tableau Simplifier}
260 \subsection{Gr\"obner Simplifier}
|
| /dports/math/reduce/Reduce-svn5758-src/packages/guardian/ |
| H A D | guardian.tex | 502 \subsection{Simplification} subsection
530 \paragraph{Contraction of cases} This is restricted to the
549 \paragraph{Simplification of the guards} The simplifier is applied to
554 \paragraph{Keep one tautological case} If the guard of some
563 \paragraph{Remove contradictive cases} A non-generic case is deleted if
|
| /dports/net/freeradius3/freeradius-server-3.0.25/raddb/mods-available/ |
| H A D | README.rst | 66 Simplification section in Modules in Version 3
|
| /dports/math/reduce/Reduce-svn5758-src/packages/misc/trigd/ |
| H A D | trigd.tex | 46 \section{Simplification} section in \\partzzz{#1}""\\numhead0{#1}
|
| /dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
| H A D | PartitionLoops.cpp | 199 struct Simplification { struct
201 Expr condition;
203 Expr old_expr;
205 Expr likely_value;
208 Expr unlikely_value;
210 bool tight;
212 Interval interval;
|
| /dports/science/siconos/siconos-4.4.0/docs/sphinx/devel_guide/notes/ |
| H A D | AlartCurnier.tex | 227 \paragraph{Chain rule}
250 \paragraph{discussion}
|
| /dports/math/reduce/Reduce-svn5758-src/doc/manual/ |
| H A D | trigd.tex | 36 \subsection{Simplification} subsection
|
| H A D | guardian.tex | 486 \subsubsection{Simplification} subsubsection
|
| /dports/math/curv/curv-0.5/ideas/v-rep/ |
| H A D | To_Mesh.rst | 168 Simplification section in Dual Contouring
|
| /dports/emulators/mess/mame-mame0226/3rdparty/bgfx/3rdparty/meshoptimizer/ |
| H A D | README.md | 207 ## Simplification section in �� meshoptimizer [](https://github.com/zeux/meshoptimizer/actions) [](https://travis-ci.org/zeux/meshoptimizer) [](https://codecov.io/github/zeux/meshoptimizer?branch=master)  [](https://github.com/zeux/meshoptimizer)
|
| /dports/emulators/mame/mame-mame0226/3rdparty/bgfx/3rdparty/meshoptimizer/ |
| H A D | README.md | 207 ## Simplification section in �� meshoptimizer [](https://github.com/zeux/meshoptimizer/actions) [](https://travis-ci.org/zeux/meshoptimizer) [](https://codecov.io/github/zeux/meshoptimizer?branch=master)  [](https://github.com/zeux/meshoptimizer)
|
| /dports/math/cadabra2/cadabra2-2.3.6.8/doc/ |
| H A D | the_cadabra_book.tex | 305 \section{Simplification} section in Algorithms
|
| /dports/devel/pyside2/pyside-setup-opensource-src-5.15.2/sources/shiboken2/libshiboken/ |
| H A D | pep384impl_doc.rst | 613 Simplification subsection
|
| /dports/devel/pyside2-tools/pyside-setup-opensource-src-5.15.2/sources/shiboken2/libshiboken/ |
| H A D | pep384impl_doc.rst | 613 Simplification subsection
|
| /dports/devel/shiboken2/pyside-setup-opensource-src-5.15.2/sources/shiboken2/libshiboken/ |
| H A D | pep384impl_doc.rst | 613 Simplification subsection
|
| /dports/sysutils/fusefs-sandboxfs/sandboxfs-sandboxfs-0.2.0/cargo-crates/winapi-0.3.8/src/shared/ |
| H A D | hidusage.rs | 85 pub const HID_USAGE_KEYBOARD_ONE: USAGE = 0x1E;
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/bugpoint/ |
| H A D | ExtractFunction.cpp | 85 unsigned Simplification) { in deleteInstructionFromProgram()
|