این دستور dfg2otter.pl است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
dfg2otter - فایل های بند DFG را به فرمت Otter از جمله گزینه های Otter تبدیل می کند
خلاصه
dfg2otter.pl [گزینه ها] [infile] [outfile]
شرح
dfg2otter.pl هست یک پرل لفاف برای dfg2otter. به طور عمده، مجموعه ای از OTTER را اضافه می کند
پارامترهای نتیجه تبدیل dfg2otter. علاوه بر این، ورودی/خروجی
تغییر مسیر ساده تر است: اگر هیچ آرگومان فایلی داده نشود، dfg2otter.pl از stdin و می خواند
برای stdout می نویسد. اگر یک آرگومان فایل داده شود، dfg2otter.pl از آن فایل بخوانید و اگر
استدلال دوم وجود دارد، dfg2otter.pl به آن می نویسد.
OPTIONS
-t n
محدودیت زمانی را برای تلاش برای اثبات OTTER تعیین می کند n ثانیه صورت گرفت.
با استفاده از خدمات onworks.net از dfg2otter.pl به صورت آنلاین استفاده کنید