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