এটি হল ট্রেসেপ কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
tracepp - রূপান্তর এবং সুন্দর প্রিন্ট ট্রেস
সাইনোপিসিস
tracepp [অনুযায়ী OPTION]... [ইনফাইল [আউটফাইল]]
বর্ণনাঃ
ট্রেসটিকে INFILE-এ রূপান্তর করুন এবং অন্য বিন্যাসে OUTFILE-এ সংরক্ষণ করুন। যদি OUTFILE না হয়
present, stdout ব্যবহার করা হয়। INFILE উপস্থিত না থাকলে, stdin ব্যবহার করা হয়।
ইনপুট হয় প্লেইন ফরম্যাটে হওয়া উচিত, যার অর্থ প্রতিটিতে একটি ক্রিয়া সহ একটি পাঠ্য ফাইল
লাইন, অথবা mCRL2 ট্রেস বিন্যাস (যেমন lps2lts দ্বারা উত্পন্ন, উদাহরণস্বরূপ)।
বিকল্প
অনুযায়ী OPTION নিম্নলিখিত যে কোনো হতে পারে:
-fবিন্যাসে, --ফরম্যাট=বিন্যাসে
নির্দিষ্ট ফরম্যাটে ট্রেস প্রিন্ট করুন: 'প্লেইন' প্লেইন টেক্সট (ডিফল্ট) 'স্টেটস'
স্টেট ভেক্টর সহ প্লেইন টেক্সট 'mcrl2' mCRL2 ফরম্যাট 'aut' Aldebaran ফরম্যাট
'ডট' গ্রাফভিজ ফরম্যাট
--সময়[=ফাইল]
সময় পরিমাপ FILE এ যোগ করুন। পরিমাপ স্ট্যান্ডার্ড ত্রুটি লিখিত হয় যদি
কোন FILE প্রদান করা হয় না
স্ট্যান্ডার্ড বিকল্প:
-q, -- শান্ত
সতর্কতা বার্তা প্রদর্শন করবেন না
-v, -- ভারবোস
সংক্ষিপ্ত মধ্যবর্তী বার্তা প্রদর্শন করুন
-d, --ডিবাগ
বিস্তারিত মধ্যবর্তী বার্তা প্রদর্শন করুন
--লগ-স্তর=লেভেল
স্তর পর্যন্ত এবং সহ মধ্যবর্তী বার্তা প্রদর্শন করুন
-h, --help
সাহায্য তথ্য প্রদর্শন
--সংস্করণ
প্রদর্শন সংস্করণ তথ্য
onworks.net পরিষেবা ব্যবহার করে অনলাইনে ট্রেসেপ ব্যবহার করুন
