public class ConstraintCollection
extends java.lang.Object
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Modifier and Type | Field and Description |
---|---|
protected static java.lang.String |
EQUALS |
protected static java.lang.String |
EventType |
protected java.util.ArrayList<java.lang.String> |
lines |
protected static java.lang.String |
Originator |
protected ConstraintParser |
parser |
protected static java.lang.String |
SEPARATOR |
protected static java.lang.String |
Timestamp |
protected static java.lang.String |
WorkflowModelElement |
Constructor and Description |
---|
ConstraintCollection(java.io.PrintStream out) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
formula(org.processmining.plugins.declareminer.visualizing.ConstraintTemplate template) |
protected java.lang.String |
formula(java.lang.String ltl) |
protected static final java.lang.String EventType
protected static final java.lang.String Originator
protected static final java.lang.String Timestamp
protected static final java.lang.String WorkflowModelElement
protected static final java.lang.String EQUALS
protected static final java.lang.String SEPARATOR
protected ConstraintParser parser
protected java.util.ArrayList<java.lang.String> lines