mcrl2/lps/decluster.h

Include file:

#include "mcrl2/lps/decluster.h"

Split summands with disjuncts as conditions.