Package | Description |
---|---|
org.processmining.actionorientedprocessmining.constraintmonitor |
Modifier and Type | Field and Description |
---|---|
ContextDescription |
ConstraintFormula.ctxdesc |
Constructor and Description |
---|
ConstraintFormula(java.lang.String cfName,
ContextDescription ctxdesc,
java.lang.String predicate) |