Я использую рекурсивное дерево хэш-карт, в частности карту хэш-карты, где объект является ссылкой на другую хэш-карту и так далее. Это будет передано по рекурсивному алгоритму: foo(String filename, Hashmap<String, Object> map) { //some...

Я пытаюсь применить ограничения ключей и ссылок в своем пользовательском формате XML, используя элементы XSD <xs:key> и <xs:keyref> . Он не работает так, как хотелось бы. Сначала пример экземпляра моего формата XML: <room...

Я пытаюсь написать решатель пропозициональной логики на Haskell. Я представляю логические выражения с рекурсивным типом данных под названием «Sentence», который имеет несколько подтипов для различных операций - «AndSentence», «OrSentence» и т. Д....

В настоящее время я пытаюсь использовать Z3 для кодирования простой программной логики для нетипизированного языка с полиморфными списками. Насколько я понимаю, из учебника Z3 Моуры и Бьорнера , это не возможно «вкладывать рекурсивные определения...

Вот мой код, который используется для поиска всех комбинаций из массива. Есть ли рекурсивный способ повысить гибкость кодирования? Результат здесь: 1324 1342 1234 1243 1432 1423 3124 3142 3214 3241 3412 3421 2134 2143 2314 2341 2413 2431 4132 4123...

Я работаю над созданием AST в Haskell. Я хочу добавить различные аннотации, такие как типы и информацию о местоположении, поэтому в итоге я использовал fixplate . Однако я не могу найти никаких примеров в Интернете, и у меня есть некоторые...

Когда происходит вращение, в моем коде работает только первое вращение, я не мог понять, почему я думаю, что функции вращения возвращают неправильные узлы? может быть. Ниже мой узел и древовидная структура #define ll unsigned long typedef struct...