Uses of Package
org.processmining.plugins.ltlchecker

Packages that use org.processmining.plugins.ltlchecker

Package	Description
org.processmining.plugins.ltlchecker
org.processmining.plugins.ltlchecker.formulatree
org.processmining.plugins.ltlchecker.visualizing

Classes in org.processmining.plugins.ltlchecker used by org.processmining.plugins.ltlchecker

Class and Description
CancelationComponent Title:
CheckResultObject
ConceptModel
DataAttribute
DataSection
InfoItem A general information item from a workflow log.
InstanceModel
LTLChecker
OntologyModel
ProvidedObject
RuleModel

Classes in org.processmining.plugins.ltlchecker used by org.processmining.plugins.ltlchecker.formulatree

Class and Description
OntologyCollection

Classes in org.processmining.plugins.ltlchecker used by org.processmining.plugins.ltlchecker.visualizing

Class and Description
CheckResultObject