PPL_LCDD(1)                      User Commands                     PPL_LCDD(1)

نام (NAME)
       ppl_lcdd - برنامه‌ای مبتنی بر PPL برای شمارش رأس‌ها/وجه‌های چندوجهی‌های
       محدب

خلاصه دستور (SYNOPSIS)
       ppl_lcdd [OPTION]... [FILE]

توضیحات (DESCRIPTION)
       یک H-representation (یا به‌طور متناظر، V-representation) از یک چندوجهی
       را می‌خواند و یک V-representation (یا به‌طور متناظر، H-representation) از
       همان چندوجهی تولید می‌کند.

       برای کسب اطلاعات درباره قالب‌های فایل، به راهنمای مرجع cddlib مراجعه
       کنید.

گزینه‌ها (OPTIONS)
       -CSECS, --max-cpu=SECS
              استفاده از پردازنده (CPU) را به SECS ثانیه محدود می‌کند

       -RMB, --max-memory=MB
              استفاده از حافظه را به MB مگابایت محدود می‌کند

       -h, --help
              این متن راهنما را در خروجی استاندارد چاپ می‌کند

       -oPATH, --output=PATH
              خروجی را به انتهای PATH الحاق می‌کند

       -t, --timings
              زمان‌بندی‌ها را در خطای استاندارد چاپ می‌کند

       -v, --verbose
              خروجی پرجزئیات و زیادی تولید می‌کند

       -V, --version
              اطلاعات نسخه را در خروجی استاندارد چاپ می‌کند

       -cPATH, --check=PATH
              بررسی می‌کند که آیا نتیجه با محتوای موجود در PATH برابر است یا
              خیر

در دسترس بودن (AVAILABILITY)
       آخرین نسخه از کتابخانه چندوجهی‌های پارما (Parma Polyhedra Library) و
       تمام مستندات آن در http://bugseng.com/products/ppl در دسترس است.

نکات (NOTES)
       گزینه -CSECS (--max-cpu=SECS) در برخی بسترها در دسترس نیست.

نویسندگان (AUTHORS)
       برای مشاهده فهرستی از مشارکت‌کنندگان، فایل CREDITS را در توزیع کد منبع
       ببینید یا از دستور ppl-config --credits استفاده کنید.

گزارش باگ‌ها (BUGS)
       گزارش باگ‌ها را به <ppl-devel@cs.unipr.it> ارسال کنید.

کپی‌رایت و تکثیر (COPYRIGHT)
       Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
       Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
       این یک نرم‌افزار آزاد است؛ برای شرایط تکثیر، فایل COPYING را در توزیع کد
       منبع ببینید یا از دستور ppl-config --copying استفاده کنید. هیچ‌گونه
       ضمانتی وجود ندارد؛ حتی برای قابلیت فروش یا تناسب با یک هدف خاص.

همچنین ببینید (SEE ALSO)
       ppl-config(1)

       Komei Fukuda.  cddlib Reference Manual, در دسترس (در چندین قالب) در
       http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html .

ppl_lcdd 1.2                     February 2016                     PPL_LCDD(1)