Это команда isofilter2, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
isofilter - удаляет изоморфные структуры из mace4(1) модели
СИНТАКСИС
изофильтр [кредита] входной файл > выходной файл
изофильтр0 [кредита] входной файл > выходной файл
изофильтр2 [кредита] входной файл > выходной файл
ОПИСАНИЕ
Эта страница руководства кратко документирует изофильтр, изофильтр0 и изофильтр2 команды.
If mace4(1) производит более одной структуры, некоторые из них, скорее всего, будут
изоморфны другим. Программа изофильтр может использоваться для удаления изоморфных структур.
ALGORITHM / АЛГОРИТМ
Есть несколько изофильтр варианты, обеспечивающие альтернативные алгоритмы.
изофильтр
Использует алгоритм профилей возникновения.
изофильтр2
Использует алгоритм канонических форм.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
Сводка опций приведена ниже.
ignore_constants
Игнорируйте все константы во время тестов на изоморфизм.
проверка
Рассмотрим только перечисленные операции в тестах на изоморфизм.
выходной
Вывести только перечисленные операции.
заворачивать Заключите получившиеся конструкции в список (интерпретации). ... конец_списка.
Используйте isofilter2 онлайн с помощью сервисов onworks.net