نام (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 .