mcrl2/lps/order_summand_variables.h
Include file:
#include "mcrl2/lps/order_summand_variables.h"
add your file description here.
Functions
-
void
mcrl2::lps::
order_summand_variables
(Specification &lpsspec)
Order summand variables to make enumeration over these variables more efficient.