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