Описание тега predicates

Предикаты - это функции, возвращающие логические значения True или False.
3 ответа

C/C++ Эквивалент Java Predicate

Существует ли C/C++ эквивалентная структура / класс класса Predicate в Java? В частности, у меня есть очень простой код Java, приведенный ниже. import java.util.function.Predicate; public class JavaPredicates { public static void main(String[] args)…
12 окт '16 в 01:03
3 ответа

Запрос XPath с предикатами text потомков и потомков

Я хотел бы создать запрос XPath, который будет возвращать элемент "div" или "table", если у него есть потомок, содержащий текст "abc". Единственное предостережение в том, что он не может иметь потомков div или table. <div> <table> <fo…
13 окт '10 в 05:15
1 ответ

Как вы получаете записи за последний месяц из основных данных

Как попросить основные данные выбрать последние 30 введенных элементов или, альтернативно, элементы, введенные в течение месяца сегодня?
29 янв '12 в 16:03
4 ответа

Где найти базовые предикаты, такие как moreThan для гуавы?

Я использую библиотеку гуавы и заметил, что очень полезный предикат не определен - "больше чем". Есть ли другое место, где я должен искать базовые предикаты, подобные этому, или я обречен на создание своего собственного фляги функциональной поддержк…
02 апр '11 в 17:19
3 ответа

Поиск подходящего списка в словаре

public class Filter { public List<int> A { get; set; } public DateTime Start { get; set; } public DateTime End { get; set; } } var f1 = new Filter(){A = new List<int>() {1}} var f2 = new Filter(){A = new List<int>() {1 , 4, 2}, Sta…
31 июл '12 в 14:26
1 ответ

Предикат Пролог с переменным числом аргументов

Я пишу Судоку-Солвер с PROLOG. Я хочу, чтобы решатель работал со всеми возможными размерами Судоку, поэтому, естественно, мне нужно создавать предикаты, которые принимают переменное число аргументов. (Например, чтобы построить "блоки" в судоку.) Как…
25 дек '13 в 22:49
1 ответ

Использование предикатов в определении маршрута Spring не работает

Я пытаюсь определить маршрут с помощью модулей Spring WebFlux. Вот мое определение маршрута: @Bean public RouterFunction<?> routes(Handler handler) { Predicate<ServerRequest.Headers> predicate = headers -> headers.equals("clientId"); …
17 июн '18 в 07:12
1 ответ

Фильтровать MultiMap<Предикат, значение>

Block - это несколько долгоживущих экземпляров, представляющих типы, например, A Minecraft BlockType grass, green_wool и т. Д. Я пытаюсь найти DataStructure, которая может эффективно хранить и тестировать данный BlockPattern (например, портал обсиди…
3 ответа

Как отлаживать предикаты в C#/Visual Studio?

В режиме отладки, если я наведу указатель мыши на предикат, я вижу только имена типов и непонятные символы. Это очень затрудняет отладку кода, например, чтобы узнать, что предикат содержит некоторая переменная. Я обычно присваиваю значения предикато…
09 июн '11 в 14:20
3 ответа

JAVA 8 Извлечь предикаты как поля или методы?

Что является более чистым способом извлечения предикатов, которые будут иметь многократное использование. Методы или классовые поля? Два примера: 1. Класс Поле void someMethod() { IntStream.range(1, 100) .filter(isOverFifty) .forEach(System.out::pri…
10 авг '17 в 16:35
0 ответов

Предикаты Antlr 4, включающие LT, не работают

Задал тот же вопрос снова с новыми более простыми и более проницательными примерами, hleee : hlsss (' ' high ' ' hleee)? EOF ; hlsss : ( low )(' ' hlsss)? ; hilotest: hiloint (' ' hiloint)* EOF; hiloint : low {print("low = " + $low.text)} | high {pr…
17 ноя '17 в 20:20
1 ответ

Алгоритм функции make_heap() в <алгоритм>

Я просто экспериментировал с функцией make_heap() в C++. Ниже приведен код, в котором я отслеживаю элементы, которые сравниваются каждый раз, когда вызывается предикат bool (), путем их печати. #include &lt;iostream&gt; #include &lt;algorithm&gt; us…
15 ноя '13 в 09:21
2 ответа

Дублирующиеся записи для основного контроллера представления таблицы данных и как справиться с этим с помощью NSFetchedResultsController

У меня есть простое приложение со следующей предпосылкой и несколькими незначительными проблемами: У меня есть 4 вкладки, каждая с табличным представлением, отображающим различную информацию, и каждая с кнопкой плюс, идущей модально к одному и тому …
2 ответа

Интерпретировать лямбда-выражение для пользовательского выбора

Прежде чем идти дальше, мне нужно немного рассказать об истории вопроса: у меня есть проект, который использует nHibernate и некоторый универсальный репозиторий для пересылки предикатов и возврата сущностей следующим образом: public abstract class G…
24 июн '12 в 12:37
1 ответ

Версия Portable for Hazelcast: Преобразование даты в длинные исключения исключения в предикатах

Я пытаюсь использовать com.hazelcast.nio.serialization.VersionedPortable для сериализации для класса Customer. Это не поддерживает сериализацию даты по умолчанию. Таким образом, мы должны преобразовать его в Long @Override public void writePortable(…
20 июл '17 в 19:10
1 ответ

Преобразовать c в сборку с предикатной инструкцией

Я хочу преобразовать этот код в сборку, используя предикатную инструкцию If (A&gt;B){ C=A; D=B; E=0 } else{ C=B; } Это правильно или как я могу использовать прыжок? cmp R1,R2; considering B is assigned to R2 and A assigned to R1 movlf R3,R1;R3 assig…
14 май '16 в 05:34
1 ответ

Нахождение инварианта цикла - Тройка Хоара

Из следующего кода мне нужно вывести / выбрать инвариант цикла. (|true|) x = 0 ; s = 0 ; while ( x &lt;= n ) { s = s + x ; x = x + 1 ; } (|s = n(n + 1)/2|) Решение дано было s = (x-1)*x/2 ∧ (x ≤ n +1) Я не совсем понимаю, как он достиг решения выше.…
3 ответа

Выберите узел на основе значения другого узла, используя предикат xsl

Проблема, аналогичная этому вопросу: XPath: выбрать узел на основе другого узла? Цель состоит в том, чтобы выбрать узел на основе значения узла-брата - в этом случае узел Pagetitle на основе значения узла Pagetype. XPaths: /dsQueryResponse/Rows/Row/…
19 окт '11 в 16:32
1 ответ

Как получить дубликаты элементов в списке массивов, используя предикаты гуавы

У меня есть массив с набором элементов. Мне нужно найти дубликаты элементов в этом массиве, сравнивая конкретное поле с использованием гуавы, основанной на Java. Например: У меня есть arraylist с набором деталей сотрудников. Мне нужно найти информац…
17 сен '15 в 14:36
1 ответ

Использование предикатов в Alloy

Я пытаюсь использовать два предиката (скажем, methodWiThSameParameters и methodWiThSameReturn) из другого (то есть checkOverriding), но я получаю следующую ошибку: "Нет команд для выполнения". Есть какие-нибудь подсказки? Я также пытался использоват…
01 авг '14 в 18:40