public class SingleTraceDataAlignmentBuilder
extends java.lang.Object
| Constructor and Description |
|---|
SingleTraceDataAlignmentBuilder() |
| Modifier and Type | Method and Description |
|---|---|
static DataAlignmentState |
createAlignment(IControlFlowAlignment<java.lang.Object,java.lang.Object> list,
VariableMatchCosts variableCost,
java.util.Map<java.lang.String,java.lang.Class> varType,
java.util.Map<java.lang.String,java.lang.Object> upperBounds,
java.util.Map<java.lang.String,java.lang.Object> lowerBounds) |
public static DataAlignmentState createAlignment(IControlFlowAlignment<java.lang.Object,java.lang.Object> list, VariableMatchCosts variableCost, java.util.Map<java.lang.String,java.lang.Class> varType, java.util.Map<java.lang.String,java.lang.Object> upperBounds, java.util.Map<java.lang.String,java.lang.Object> lowerBounds) throws java.text.ParseException
java.text.ParseException