זוהי הפקודה lpspp שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
lpspp - יפה להדפיס LPS
תַקצִיר
lpspp [אוֹפְּצִיָה]... [בקובץ [קובץ חוץ]]
תיאור
הדפס את ה-mCRL2 LPS ב-INFILE ל-OUTFILE בפורמט קריא אנושי. אם OUTFILE אינו
בהווה, נעשה שימוש ב-stdout. אם INFILE אינו קיים, נעשה שימוש ב-stdin.
אפשרויות
אוֹפְּצִיָה יכול להיות כל אחד מהבאים:
-fפורמט, --פוּרמָט=פורמט
הדפס את ה-LPS בפורמט שצוין: 'ברירת מחדל' עבור מפרט תהליך
(ברירת מחדל) 'פנימי' עבור ייצוג ATerm טקסטואלי של הפורמט הפנימי
-n, --print-summand_numbers
להדפיס מספרים לפני סיכומים
--תזמונים[=קובץ]
הוסף מדידות תזמון ל-FILE. המדידות נכתבות לפי שגיאת תקן אם
לא מסופק FILE
אפשרויות סטנדרטיות:
-q, --שֶׁקֶט
אל תציג הודעות אזהרה
-v, --מִלוּלִי
להציג הודעות ביניים קצרות
-d, --לנפות
להציג הודעות ביניים מפורטות
--רמת יומן=רמה
להציג הודעות ביניים עד וכולל רמה
-h, - עזרה
להציג מידע עזרה
--גִרְסָה
להציג מידע על הגרסה
השתמש ב-lpspp באופן מקוון באמצעות שירותי onworks.net
