public class ConstraintParser extends SimpleParser
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Constructor and Description |
---|
ConstraintParser() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
createFormula(java.lang.Iterable<org.processmining.plugins.declareminer.visualizing.ConstraintDefinition> constraints) |
java.lang.String |
parse(org.processmining.plugins.declareminer.visualizing.ConstraintDefinition constraint) |
replaceParameterDefaultWithActivities
public java.lang.String createFormula(java.lang.Iterable<org.processmining.plugins.declareminer.visualizing.ConstraintDefinition> constraints)
public java.lang.String parse(org.processmining.plugins.declareminer.visualizing.ConstraintDefinition constraint) throws java.lang.Exception
java.lang.Exception