LPSFUNUNFOLD(1)

okay bestie, welcome to lpsfununfold(1) — a User Commands situation from the mCRL2 toolset, and she is lowkey a main character. The way this tool unfolds finite-domain parameters? Obsessed. No cap, it’s giving very specific but very iconic. 💅

🎀 NAME 🎀

lpsfununfold — unfolds process parameters of type function sort, fset, set, fbag and bag with a finite domain. periodt. 🦋

✨ SYNOPSIS ✨

lpsfununfold [OPTION]... [INFILE [OUTFILE]]

🌸 DESCRIPTION 🌸

okay so here’s the tea: for each parameter with a function type D1#D2#...#Dn -> D, it unfolds that parameter into a sequence of parameters of sort D in the lps. Each parameter of type FSet/Set(D) gets unfolded into a sequence of boolean variables, and each parameter of type FBag/BagD) gets unfolded into a sequence of variables of type Nat. 🫶

The number of variables is literally equal to the number of elements in D1#...#Dn, resp. D. The input is taken from INFILE and the result is written to OUTFILE. If INFILE is not present, stdin is used. If OUTFILE is not present, stdout is used. iykyk.

💖 OPTIONS 💖

OPTION can be any of the following, bestie:

• -QNUM, --qlimit=NUM — limit enumeration of universal and existential quantifiers in data expressions to NUM iterations (default NUM=10, NUM=0 for unlimited).
• -rNAME, --rewriter=NAME — use rewrite strategy NAME: 'jitty' jitty rewriting (default), 'jittyc' compiled jitty rewriting, 'jittyp' jitty rewriting with prover. slay.
• --timings[=FILE] — append timing measurements to FILE. Measurements are written to standard error if no FILE is provided.

⭐ Standard options ⭐

• -q, --quiet — do not display warning messages. shhh. 🤫
• -v, --verbose — display short log messages. lowkey chatty.
• -d, --debug — display detailed log messages. highkey yapper mode.
• --log-level=LEVEL — display log messages up to and including level; LEVEL is either warn, verbose, debug or trace.
• -h, --help — display help information. the icon.
• --version — display version information.
• --help-all — display help information, including hidden and experimental options. spicy. 🔥

🌈 AUTHOR 🌈

Written by Jan Friso Groote. not me fangirling, that’s literally the author line. 👑

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. bestie please use the tracker. 🙈

👑 COPYRIGHT 👑

Copyright © 2025 Technische Universiteit Eindhoven. This is free software. You may redistribute copies of it under the terms of the Boost Software License <http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law. fr fr, read the license. 💜

🦋 SEE ALSO 🦋

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lpsfununfold.html>. go read, it’s giving documentation. 🌈

---

kiss kiss, this page is lpsfununfold from the mCRL2 toolset, version 202..., dated October 2026. 💖✨🎀