Uses of Class
kb.MarkerSet

Packages that use MarkerSet

Package	Description
kb	Classes for managing CharGer or CRAFT elements as knowledge sources.

Uses of MarkerSet in kb

Fields in kb declared as MarkerSet

Modifier and Type	Field and Description
private MarkerSet	KnowledgeBase.markerSet

Methods in kb that return MarkerSet

Modifier and Type	Method and Description
MarkerSet	KnowledgeBase.getMarkerSet()