هذا هو الأمر isofilter2 الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة على الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
isofilter - يزيل الهياكل المتشابهة من mace4(1) النماذج
موجز
مرشح الأيزو [الخيارات] ملف الإدخال > ملف إلاخراج
مرشح isofilter0 [الخيارات] ملف الإدخال > ملف إلاخراج
مرشح isofilter2 [الخيارات] ملف الإدخال > ملف إلاخراج
الوصف
توثق صفحة الدليل هذه بإيجاز ملف مرشح الأيزو, مرشح isofilter0 و مرشح isofilter2 أوامر.
If mace4(1) ينتج أكثر من هيكل واحد ، من المحتمل جدًا أن يكون بعضها
متماثل للآخرين. البرنامج مرشح الأيزو يمكن استخدامها لإزالة الهياكل المتشابهة.
الخوارزمية
هناك متعددة مرشح الأيزو المتغيرات التي توفر خوارزميات بديلة.
مرشح الأيزو
يستخدم خوارزمية ملفات تعريف التكرار.
مرشح isofilter2
يستخدم خوارزمية النماذج الأساسية.
OPTIONS
يتم تضمين ملخص من الخيارات أدناه.
التجاهل
تجاهل كل الثوابت أثناء اختبارات التشابه.
التحقق
النظر فقط في القائمة عمليات في اختبارات التشابه.
الناتج
إخراج فقط المدرجة عمليات.
التفاف أرفق الهياكل الناتجة في قائمة (تفسيرات). end_of_list.
استخدم isofilter2 عبر الإنترنت باستخدام خدمات onworks.net