Documentation

isChainNT :: EqFam phi => GExtendedContextFreeGrammar phi t r rr -> phi idx -> Bool Source

Detect if a given non-terminal in a given extended context free grammar is a chain non-terminal. An NT is a chain NT if all of its productions are chain rules.