| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | InterpolantsNew.hpp | 81 enum UnitWeight enum in Shell::InterpolantsNew
111 Kernel::Formula* getInterpolant(Kernel::Unit* refutation, UnitWeight weightFunction);
121 …virtual SplittingFunction computeSplittingFunction(Kernel::Unit* refutation, UnitWeight weightFunc…
126 double weightForUnit(Kernel::Unit* unit, UnitWeight weightFunction);
|
| H A D | InterpolantsNew.cpp | 152 Formula* InterpolantsNew::getInterpolant(Unit *refutation, UnitWeight weightFunction) in getInterpolant()
430 …lor> InterpolantsNew::computeSplittingFunction(Kernel::Unit* refutation, UnitWeight weightFunction) in computeSplittingFunction()
508 double InterpolantsNew::weightForUnit(Kernel::Unit* unit, UnitWeight weightFunction) in weightForUnit()
512 if (weightFunction == UnitWeight::VAMPIRE) in weightForUnit()
518 ASS_EQ(weightFunction, UnitWeight::QUANTIFIED_VARS); in weightForUnit()
|
| H A D | InterpolantMinimizerNew.hpp | 49 …it*, Kernel::Color> computeSplittingFunction(Kernel::Unit* refutation, UnitWeight weightFunction) …
|
| H A D | InterpolantMinimizerNew.cpp | 40 …rpolantMinimizerNew::computeSplittingFunction(Kernel::Unit* refutation, UnitWeight weightFunction) in computeSplittingFunction()
213 …ed_map<Unit*, Color> splittingFunction = computeSplittingFunction(refutation, UnitWeight::VAMPIRE); in analyzeLocalProof()
|
| H A D | UIHelper.cpp | 407 …nt = InterpolantsNew().getInterpolant(formulifiedRefutation, InterpolantsNew::UnitWeight::VAMPIRE); in outputResult()
412 …erpolantMinimizerNew().getInterpolant(formulifiedRefutation, InterpolantsNew::UnitWeight::VAMPIRE); in outputResult()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1856 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1860 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1861 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm11/llvm-11.0.1.src/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1855 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1859 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1860 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1858 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1862 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1863 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm90/llvm-9.0.1.src/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1830 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1834 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1835 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1856 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1860 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1861 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm10/llvm-10.0.1.src/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1839 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1843 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1844 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1851 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1855 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1856 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1856 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1860 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1861 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1851 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1855 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1856 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1858 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1862 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1863 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1839 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1843 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1844 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1851 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1855 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1856 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm80/llvm-8.0.1.src/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1830 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1834 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1835 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1851 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1855 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1856 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1851 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1855 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1856 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/devel/llvm70/llvm-7.0.1.src/utils/TableGen/ |
| H A D | CodeGenRegisters.cpp | 1776 unsigned UnitWeight = RegUnits[SubSet.Units[0]].Weight; in pruneUnitSets() local
1780 && UnitWeight == RegUnits[SuperSet.Units[0]].Weight in pruneUnitSets()
1781 && UnitWeight == RegUnits[SuperSet.Units.back()].Weight) { in pruneUnitSets()
|
| /dports/graphics/gmt/gmt-6.3.0/src/ |
| H A D | grdfilter_mt.c | 297 double UnitWeight (double r, double par[]) in UnitWeight() function
816 F.weight_func = &UnitWeight; in GMT_grdfilter_mt()
|
| H A D | grdfilter.c | 506 GMT_LOCAL double UnitWeight (double r, double par[]) { in UnitWeight() function
1139 F.weight_func = &UnitWeight; in GMT_grdfilter()
|
| /dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/src/ |
| H A D | proper_erlang_abstract_code.erl | 1814 UnitWeight = case is_member([bitstring, bits, bytes, binary], L) of
1822 {UnitWeight, ?LAZY({unit, {'unit', unit()}})}]).
|