Home
last modified time | relevance | path

Searched defs:testInf (Results 1 – 6 of 6) sorted by relevance

/dports/misc/elki/elki-release0.7.1-1166-gfb1fffdf3/elki-core-math/src/test/java/de/lmu/ifi/dbs/elki/math/statistics/distribution/estimator/meta/
H A DBestFitEstimatorTest.java89 public void testInf() { in testInf() method in BestFitEstimatorTest
/dports/math/jts/jts-jts-1.18.1/modules/core/src/test/java/org/locationtech/jts/io/
H A DOrdinateFormatTest.java60 public void testInf() { in testInf() method in OrdinateFormatTest
/dports/math/vampire/vampire-4.5.1/UnitTests/
H A DtGaussianElimination.cpp19 …static Inference testInf = Kernel::NonspecificInference0(UnitInputType::ASSUMPTION, InferenceRule:… in clause() local
H A DtUnificationWithAbstraction.cpp116 …static Inference testInf = Kernel::NonspecificInference0(UnitInputType::ASSUMPTION, InferenceRule:… in unit() local
/dports/devel/vc/Vc-1.4.2/tests/
H A Dmath.cpp191 TEST_TYPES(V, testInf, RealTypes) //{{{1 in TEST_TYPES() argument
/dports/graphics/vigra/vigra-8acd73a/test/math/
H A Dtest.cxx816 void testInf() in testInf() function