JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
Uses of Class
org.processmining.plugins.ltlchecker.OntologyCollection
Packages that use
OntologyCollection
Package
Description
org.processmining.plugins.ltlchecker.formulatree
Uses of
OntologyCollection
in
org.processmining.plugins.ltlchecker.formulatree
Constructors in
org.processmining.plugins.ltlchecker.formulatree
with parameters of type
OntologyCollection
Constructor and Description
SetValueNode
(int type,
OntologyCollection
ontologies)
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes