Uses of Class
org.dllearner.parser.KBParserTokenManager

Packages that use KBParserTokenManager

Package	Description
org.dllearner.parser	DL-Learner parsers.

Uses of KBParserTokenManager in org.dllearner.parser

Fields in org.dllearner.parser declared as KBParserTokenManager

Modifier and Type	Field and Description
KBParserTokenManager	KBParser.token_source Generated Token Manager.

Methods in org.dllearner.parser with parameters of type KBParserTokenManager

Modifier and Type	Method and Description
void	KBParser.ReInit(KBParserTokenManager tm) Reinitialise.

Constructors in org.dllearner.parser with parameters of type KBParserTokenManager

Constructor and Description
KBParser(KBParserTokenManager tm) Constructor with generated Token Manager.