Home
last modified time | relevance | path

Searched refs:fromIterator (Results 1 – 25 of 41) sorted by relevance

12

/dports/math/vampire/vampire-4.5.1/Shell/
H A DConstraintReaderBack.cpp149 Constraint::fromIterator(constraintType, in getConstraint()
318 …ConstraintRCPtr c(Constraint::fromIterator(constrType, pvi( CoeffStack::Iterator(coeffs) ), -freeC… in constraints()
398 …ConstraintRCPtr c(Constraint::fromIterator(CT_GR, pvi(CoeffStack::Iterator(coeff)),CoeffNumber::ze… in constraints()
435 …ConstraintRCPtr c1(Constraint::fromIterator(CT_GREQ, pvi(CoeffStack::Iterator(negatedCoeff)),freeU… in constraints()
446 …ConstraintRCPtr c(Constraint::fromIterator(CT_GREQ, pvi(CoeffStack::Iterator(coefficients)),freeCo… in constraints()
459 …ConstraintRCPtr c1(Constraint::fromIterator(CT_GREQ, pvi(CoeffStack::Iterator(negatedCoeff)),freeU… in constraints()
463 …ConstraintRCPtr c(Constraint::fromIterator(CT_GREQ, pvi(CoeffStack::Iterator(coefficients)),freeCo… in constraints()
488 ConstraintRCPtr cons(Constraint::fromIterator(CT_GREQ, pvi(CoeffStack::Iterator(coef)), free)); in constraints()
498 ConstraintRCPtr cons(Constraint::fromIterator(CT_GREQ, pvi(CoeffStack::Iterator(coef)), -free)); in constraints()
H A DAnswerExtractor.cpp483 …res = Clause::fromIterator(getSingletonIterator(lit),NonspecificInference0(UnitInputType::AXIOM,In… in getResolverClause()
502 Clause* refutation = Clause::fromIterator(LiteralIterator::getEmpty(), in getRefutation()
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/arrow/java/flight/flight-core/src/main/java/org/apache/arrow/flight/grpc/
H A DStatusUtils.java206 public static <FROM, TO> Iterator<TO> wrapIterator(Iterator<FROM> fromIterator, in wrapIterator() argument
208 Objects.requireNonNull(fromIterator); in wrapIterator()
214 return fromIterator.hasNext(); in wrapIterator()
223 return transformer.apply(fromIterator.next()); in wrapIterator()
/dports/security/vault/vault-1.8.2/vendor/github.com/apache/arrow/java/flight/flight-core/src/main/java/org/apache/arrow/flight/grpc/
H A DStatusUtils.java206 public static <FROM, TO> Iterator<TO> wrapIterator(Iterator<FROM> fromIterator, in wrapIterator() argument
208 Objects.requireNonNull(fromIterator); in wrapIterator()
214 return fromIterator.hasNext(); in wrapIterator()
223 return transformer.apply(fromIterator.next()); in wrapIterator()
/dports/mail/nextcloud-mail/mail/vendor/rubix/ml/docs/extractors/
H A Dapi.md2 …nstantiate a new [Dataset](../datasets/api.md) object by passing it to the `fromIterator()` method.
11 $dataset = Labeled::fromIterator(new NDJSON('example.ndjson'));
44 $dataset = Unlabeled::fromIterator($iterator);
/dports/databases/arrow/apache-arrow-6.0.1/java/flight/flight-core/src/main/java/org/apache/arrow/flight/grpc/
H A DStatusUtils.java231 public static <FROM, TO> Iterator<TO> wrapIterator(Iterator<FROM> fromIterator, in wrapIterator() argument
233 Objects.requireNonNull(fromIterator); in wrapIterator()
239 return fromIterator.hasNext(); in wrapIterator()
248 return transformer.apply(fromIterator.next()); in wrapIterator()
/dports/devel/py-mypy/mypy-0.910/mypyc/test-data/
H A Drun-sets.test8 def fromIterator() -> List[Set[int]]:
59 from native import fromIterator
60 sets = fromIterator()
/dports/mail/nextcloud-mail/mail/vendor/rubix/ml/docs/
H A Dextracting-data.md2 …taset in storage and can be used to instantiate a dataset object using the `fromIterator()` method.
15 …mport data from the CSV format. We'll use it in conjunction with the `fromIterator()` method to in…
22 $dataset = Labeled::fromIterator(new CSV('example.csv', true))
56 $dataset = Labeled::fromIterator(new JSON('example.json'));
80 $dataset = Unlabeled::fromIterator($iterator);
136 Labeled::fromIterator(new CSV('example.csv'))
/dports/www/chromium-legacy/chromium-88.0.4324.182/chromecast/base/java/src/org/chromium/chromecast/base/
H A DItertools.java18 public static <T> Iterable<T> fromIterator(Iterator<T> iterator) { in fromIterator() method in Itertools
/dports/www/chromium-legacy/chromium-88.0.4324.182/chromecast/base/java/test/org/chromium/chromecast/base/
H A DItertoolsTest.java41 for (String item : Itertools.fromIterator(emptyIterator)) { in testForEachLoopWithIterator()
/dports/math/vampire/vampire-4.5.1/UnitTests/
H A DtInterpretedNormalizer.cpp45 …Clause* cl = Clause::fromIterator(getSingletonIterator(lit), NonspecificInference0(UnitInputType::… in TEST_FUN()
/dports/math/vampire/vampire-4.5.1/Inferences/
H A DURResolution.cpp186 res = Clause::fromIterator(getSingletonIterator(single), inf); in generateClause()
189 res = Clause::fromIterator(LiteralIterator::getEmpty(), inf); in generateClause()
H A DGlobalSubsumption.cpp261 … Clause* replacement = Clause::fromIterator(LiteralStack::BottomFirstIterator(survivors),inf); in perform()
/dports/biology/gatk/gatk-4.2.0.0/src/main/java/org/broadinstitute/hellbender/utils/
H A DUtils.java1200 …public static <F, T> Iterator<T> transformParallel(final Iterator<F> fromIterator, final Function<…
1201 Utils.nonNull(fromIterator, "fromIterator");
1206 return Iterators.transform(fromIterator, new com.google.common.base.Function<F, T>() {
1221 while (fromIterator.hasNext()) {
1225 final F next = fromIterator.next();
/dports/www/chromium-legacy/chromium-88.0.4324.182/chromecast/browser/android/apk/src/org/chromium/chromecast/shell/
H A DCastCommandLineHelper.java88 for (String swtch : Itertools.fromIterator(args.keys())) { in initCommandLineWithSavedArgs()
/dports/devel/aws-sdk-php/aws-sdk-php74-3.185.15/Aws/S3/
H A DBatchDelete.php96 public static function fromIterator( function in Aws\\S3\\BatchDelete
H A DS3ClientTrait.php138 return BatchDelete::fromIterator($this, $bucket, $iter, $options)
/dports/www/nextcloud/nextcloud/3rdparty/aws/aws-sdk-php/src/S3/
H A DBatchDelete.php96 public static function fromIterator( function in Aws\\S3\\BatchDelete
H A DS3ClientTrait.php138 return BatchDelete::fromIterator($this, $bucket, $iter, $options)
/dports/math/vampire/vampire-4.5.1/Shell/LTB/
H A DSelector.cpp164 …Clause* cl=Clause::fromIterator(VirtualIterator<Literal*>::getEmpty(), Unit::AXIOM, new Inference0… in selectForProblem()
/dports/mail/nextcloud-mail/mail/vendor/rubix/ml/tests/Datasets/
H A DUnlabeledTest.php76 public function fromIterator() : void function in Rubix\\ML\\Tests\\Datasets\\UnlabeledTest
78 $dataset = Unlabeled::fromIterator(new NDJSON('tests/test.ndjson'));
H A DLabeledTest.php84 public function fromIterator() : void function in Rubix\\ML\\Tests\\Datasets\\LabeledTest
86 $dataset = Labeled::fromIterator(new NDJSON('tests/test.ndjson'));
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DClause.hpp93 static Clause* fromIterator(Iter litit, const Inference& inf) in fromIterator() function in Kernel::Clause
H A DConstraint.hpp147 …static Constraint* fromIterator(ConstraintType t, Iter coeffIterator, const CoeffNumber& freeCoeff) in fromIterator() function in Kernel::Constraint
/dports/math/vampire/vampire-4.5.1/Saturation/
H A DSplitter.cpp204 …Clause* foRef = Clause::fromIterator(LiteralIterator::getEmpty(),FromSatRefutation(InferenceRule::… in handleSatRefutation()
264 Clause* foRef = Clause::fromIterator(LiteralIterator::getEmpty(), foInf); in handleSatRefutation()
326 Clause* foRef = Clause::fromIterator(LiteralIterator::getEmpty(), finalInf); in handleSatRefutation()
1235 Clause* temp = Clause::fromIterator(getArrayishObjectIterator(possibly_flipped_lits, size), in buildAndInsertComponentClause()
1252 Clause* compCl = Clause::fromIterator(getArrayishObjectIterator(lits, size), in buildAndInsertComponentClause()

12