이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 lpspp 명령입니다.
프로그램:
이름
lpspp - LPS를 예쁘게 인쇄합니다.
개요
lpspp [OPTION]... [인파일 [아웃파일]]
기술
INFILE의 mCRL2 LPS를 사람이 읽을 수 있는 형식으로 OUTFILE로 인쇄합니다. OUTFILE이 아닌 경우
현재 stdout이 사용됩니다. INFILE이 없으면 stdin이 사용됩니다.
옵션
OPTION 다음 중 하나일 수 있습니다.
-fFORMAT, --체재=FORMAT
프로세스 사양에 대해 지정된 FORMAT: 'default'로 LPS를 인쇄합니다.
(기본값) 내부 형식의 텍스트 ATerm 표현을 위한 'internal'
-n, --print-summand_numbers
피항수 앞에 숫자를 출력
--타이밍[=FILE]
FILE에 타이밍 측정을 추가합니다. 측정값은 다음과 같은 경우 표준 오차로 기록됩니다.
파일이 제공되지 않음
표준 옵션:
-q, --조용한
경고 메시지를 표시하지 않음
-v, --말 수가 많은
짧은 중간 메시지 표시
-d, -디버그
자세한 중간 메시지 표시
--로그 수준=LEVEL
레벨을 포함한 중간 메시지 표시
-h, --도움
도움말 정보 표시
--번역
버전 정보 표시
onworks.net 서비스를 사용하여 온라인으로 lpspp 사용
