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.