- isChainNT :: EqFam phi => GExtendedContextFreeGrammar phi t r rr -> phi idx -> Bool
Documentation
isChainNT :: EqFam phi => GExtendedContextFreeGrammar phi t r rr -> phi idx -> BoolSource
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.