这是命令 isofilter2,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
isofilter - 从 mace4(1) 型号
概要
等值过滤器 [选项] 输入文件 > 输出文件
等值过滤器0 [选项] 输入文件 > 输出文件
等值过滤器2 [选项] 输入文件 > 输出文件
商品描述
本手册页简要记录了 等值过滤器, 等值过滤器0 和 等值过滤器2 命令。
If mace4(1) 产生不止一种结构,其中一些很可能是
与他人同构。 该程序 等值过滤器 可用于去除同构结构。
算法
有多个 等值过滤器 提供替代算法的变体。
等值过滤器
使用 Occurrence Profiles 算法。
等值过滤器2
使用规范形式算法。
配置
下面是选项的摘要。
忽略常量
在同构测试期间忽略所有常量。
查
只考虑列出的 操作 在同构测试中。
产量
只输出列出的 操作.
包装 将生成的结构包含在 列表(解释)。 ... end_of_list。
使用 onworks.net 服务在线使用 isofilter2