NC.PrefixSaturation |
Syntax |
NC.PrefixSaturation(F:LIST):LIST NC.PrefixSaturation(F:LIST, LoopBound:INT,IFlag:INT):LIST |
Description |
Example |
NC.SetX("abc"); NC.SetOrdering("LLEX"); NC.SetRelations([["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]]); F := [[1,"a"],[1,"b"],[1,"c"]]; NC.PrefixSaturation(F); [[[1, "a"], [1, "c"], [1, ""]], [[1, "a"], [1, "b"], [1, "c"]], [[1, "cc"], [1, "b"], [1, "c"]], [[1, "ca"], [1, "a"], [1, ""]], [[1, "bc"], [1, "cc"], [1, "b"]], [[1, "ba"], [1, "ca"], [1, ""]]] ------------------------------- |
See Also |