LPSSUMELM(1)

📦 version 202507, in nixos 26.05, nixpkgs unstable

✨ NAME ✨

okay bestie, welcome to the lpssumelm(1) page from the User Commands manual 💅 — this is the tool that removes superfluous summations from an LPS. No cap. 🫶

🌸 SYNOPSIS 🌸

lpssumelm [OPTION]... [INFILE [OUTFILE]]

🦋 DESCRIPTION 🦋

okay so the whole assignment is: take the linear process specification (LPS) in INFILE, remove the superfluous summations, and write the result to OUTFILE. ✨ If INFILE is not present, stdin is used. If OUTFILE is not present, stdout is used. That’s the vibe. 🫶

💅 OPTIONS 💅

OPTION can be any of the following:

  • -c, --decluster — first decluster disjunctive conditions 🪄
  • --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 🤫
  • -v, --verbose — display short log messages 📝
  • -d, --debug — display detailed log messages 🔍
  • --log-level=LEVEL — display log messages up to and including level; either warn, verbose, debug or trace. 👀
  • -h, --help — display help information 🆘
  • --version — display version information 🏷️
  • --help-all — display help information, including hidden and experimental options 🙈

👑 AUTHOR 👑

Written by Jeroen Keiren. periodt 👑

🐛 REPORTING BUGS 🐛

Report bugs at <http://www.mcrl2.org/issuetracker>. 🫶

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. 📜

🔭 SEE ALSO 🔭

See also the manual at <http://www.mcrl2.org/web/user_manual/tools/release/lpssumelm.html>. 💖

okay bye bestie — this lpssumelm page is from the mCRL2 toolset 202507..., dated October 2026. mwah 💋✨

📦 where this page comes from