Uses of Class
org.processmining.plugins.ltlchecker.InstanceModel

Packages that use InstanceModel

Package	Description
org.processmining.plugins.ltlchecker

Uses of InstanceModel in org.processmining.plugins.ltlchecker

Methods in org.processmining.plugins.ltlchecker that return InstanceModel

Modifier and Type	Method and Description
InstanceModel[]	CheckResultObject.getInstances()

Methods in org.processmining.plugins.ltlchecker with parameters of type InstanceModel

Modifier and Type	Method and Description
void	CheckResultObject.setInstances(InstanceModel[] instances)