هذا هو الأمر lpsconstelm الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
lpsconstelm - يزيل المعلمات الثابتة من LPS
موجز
lpsconstelm [OPTION] ... [ملف [النفقة]]
الوصف
قم بإزالة معلمات العملية الثابتة من LPS في INFILE واكتب النتيجة إلى OUTFILE.
إذا لم يكن INFILE موجودًا، فسيتم استخدام الإدخال القياسي. إذا لم يكن OUTFILE موجودًا، فسيتم ذلك بشكل قياسي
يستخدم الإخراج.
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
-c, --تجاهل الشروط
تجاهل الشروط بافتراض أنها تم تقييمها على أنها صحيحة
-f, - إنشاء مثيل للمتغيرات الحرة
السماح بإنشاء مثيل للمتغيرات الحرة كأثر جانبي للخوارزمية ملاحظة:
هذه الوظيفة لم يتم اختبارها!
-QNUM, - حد=NUM
قصر تعداد المحددات الكمية على NUM متغيرات. (الافتراضية NUM = 1000 ، NUM = 0 من أجل
غير محدود).
-s, --remove-singleton-sorts
إزالة المعلمات مع أنواع العناصر الفردية
-t, --إزالة-الجمعيات التافهة
إزالة المبالغ مع الشرط خطأ
-rاسم, - الكاتب=اسم
استخدام استراتيجية إعادة الكتابة NAME: إعادة كتابة jitty "jitty" (افتراضي) تم تجميع "jittyc"
jitty إعادة كتابة "jittyp" jitty مع prover
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=الدور
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم lpsconstelm عبر الإنترنت باستخدام خدمات onworks.net
