.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.11.
.TH PPL_LCDD "1" "February 2016" "ppl_lcdd 1.2" "User Commands"
.SH "نام (NAME)"
ppl_lcdd \- برنامه‌ای مبتنی بر PPL برای شمارش رأس‌ها/وجه‌های چندوجهی‌های محدب
.SH "خلاصه دستور (SYNOPSIS)"
.B ppl_lcdd
[\fIOPTION\fR]... [\fIFILE\fR]
.SH "توضیحات (DESCRIPTION)"
یک H\-representation (یا به‌طور متناظر، V\-representation) از یک چندوجهی را می‌خواند و یک V\-representation (یا به‌طور متناظر، H\-representation) از همان چندوجهی تولید می‌کند.
.PP
برای کسب اطلاعات درباره قالب‌های فایل، به
.IR "راهنمای مرجع cddlib"
مراجعه کنید.
.SH "گزینه‌ها (OPTIONS)"
.TP
\fB\-CSECS\fR, \fB\-\-max\-cpu\fR=\fISECS\fR
استفاده از پردازنده (CPU) را به SECS ثانیه محدود می‌کند
.TP
\fB\-RMB\fR, \fB\-\-max\-memory\fR=\fIMB\fR
استفاده از حافظه را به MB مگابایت محدود می‌کند
.TP
\fB\-h\fR, \fB\-\-help\fR
این متن راهنما را در خروجی استاندارد چاپ می‌کند
.TP
\fB\-oPATH\fR, \fB\-\-output\fR=\fIPATH\fR
خروجی را به انتهای PATH الحاق می‌کند
.TP
\fB\-t\fR, \fB\-\-timings\fR
زمان‌بندی‌ها را در خطای استاندارد چاپ می‌کند
.TP
\fB\-v\fR, \fB\-\-verbose\fR
خروجی پرجزئیات و زیادی تولید می‌کند
.TP
\fB\-V\fR, \fB\-\-version\fR
اطلاعات نسخه را در خروجی استاندارد چاپ می‌کند
.TP
\fB\-cPATH\fR, \fB\-\-check\fR=\fIPATH\fR
بررسی می‌کند که آیا نتیجه با محتوای موجود در PATH برابر است یا خیر
.SH "در دسترس بودن (AVAILABILITY)"
آخرین نسخه از کتابخانه چندوجهی‌های پارما (Parma Polyhedra Library) و تمام مستندات آن در \fBhttp://bugseng.com/products/ppl\fR در دسترس است.
.SH "نکات (NOTES)"
گزینه \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) در برخی بسترها در دسترس نیست.
.SH "نویسندگان (AUTHORS)"
برای مشاهده فهرستی از مشارکت‌کنندگان، فایل \fBCREDITS\fR را در توزیع کد منبع ببینید یا از دستور \fBppl\-config \-\-credits\fR استفاده کنید.
.SH "گزارش باگ‌ها (BUGS)"
گزارش باگ‌ها را به <ppl\-devel@cs.unipr.it> ارسال کنید.
.SH "کپی‌رایت و تکثیر (COPYRIGHT)"
Copyright (C) 2001\-2010 Roberto Bagnara <bagnara@cs.unipr.it>
.br
Copyright (C) 2010\-2016 BUGSENG srl (http://bugseng.com)
.br
این یک نرم‌افزار آزاد است؛ برای شرایط تکثیر، فایل \fBCOPYING\fR را در توزیع کد منبع ببینید یا از دستور \fBppl\-config \-\-copying\fR استفاده کنید. هیچ‌گونه ضمانتی وجود ندارد؛ حتی برای قابلیت فروش یا تناسب با یک هدف خاص.
.SH "همچنین ببینید (SEE ALSO)"
.BR ppl-config(1)
.sp
Komei Fukuda.
.IR "cddlib Reference Manual",
در دسترس (در چندین قالب) در
\fBhttp://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html\fR .