ltlgDataWeightOfNEqualLOnly
in ltlgData.h
extern void ltlgDataWeightOfNEqualLOnly(
ltlgData
* ltlg);