Đây là lệnh lpspp có thể được chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
lpspp - in một LPS đẹp
SYNOPSIS
lpspp [TÙY CHỌN] ... [TRONG TẬP TIN [NGOÀI RA]]
MÔ TẢ
In mCRL2 LPS ở dạng INFILE sang OUTFILE ở định dạng con người có thể đọc được. Nếu OUTFILE không
hiện tại, stdout được sử dụng. Nếu không có INFILE, stdin sẽ được sử dụng.
LỰA CHỌN
TÙY CHỌN có thể là bất kỳ điều nào sau đây:
-fFORMAT, --định dạng=FORMAT
in LPS trong ĐỊNH DẠNG được chỉ định: 'mặc định' cho một đặc tả quy trình
(mặc định) 'nội bộ' để biểu diễn ATerm dạng văn bản của định dạng bên trong
-n, --print-summand_numbers
in số ở phía trước của summands
--thời gian[=FILE]
nối các phép đo thời gian vào FILE. Các phép đo được ghi vào lỗi tiêu chuẩn nếu
không có FILE nào được cung cấp
Các tùy chọn tiêu chuẩn:
-q, --Yên lặng
không hiển thị thông báo cảnh báo
-v, --dài dòng
hiển thị thông báo trung gian ngắn
-d, --gỡ lỗi
hiển thị thông báo trung gian chi tiết
--mức đăng nhập=LEVEL
hiển thị các thông báo trung gian lên đến và bao gồm cả cấp
-h, --Cứu giúp
hiển thị thông tin trợ giúp
--phiên bản
hiển thị thông tin phiên bản
Sử dụng lpspp trực tuyến bằng các dịch vụ onworks.net