org.processmining.plugins.ltlchecker.declare2ltl
Classes
Administrator
ConstraintCollection
ConstraintParser
Declare2ltl
Event
LTLGenerator
MapsComparator
MapsComparatorVisualization
PrettyTime
ProM
Role
SimpleParser
User
Enums
Event.Type