Searched defs:addSamplePoint (Results 1 – 3 of 3) sorted by relevance
| /dports/math/apache-commons-math/commons-math3-3.6.1-src/src/main/java/org/apache/commons/math3/analysis/interpolation/ | ||
| H A D | FieldHermiteInterpolator.java | 90 public void addSamplePoint(final T x, final T[] ... value) in addSamplePoint() method in FieldHermiteInterpolator |
| H A D | HermiteInterpolator.java | 86 public void addSamplePoint(final double x, final double[] ... value) in addSamplePoint() method in HermiteInterpolator |
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ | ||
| H A D | sygus_sampler.cpp | 458 void SygusSampler::addSamplePoint(std::vector<Node>& pt) in addSamplePoint() function in CVC4::theory::quantifiers::SygusSampler |