public interface AlignmentResultBuilder
ControlFlowAlignmentResultBuilder
with information about data
alignments.Modifier and Type | Method and Description |
---|---|
ControlFlowAlignmentResult |
calcResult(double upperBound)
Returns the
ControlFlowAlignmentResult |
int |
getCacheHit() |
int |
getCacheSize() |
long |
getDataStateCount() |
int |
getPartialDataAlignments() |
long |
getTotalQueuedStates() |
ControlFlowAlignmentResult calcResult(double upperBound) throws ControlFlowAlignmentException
ControlFlowAlignmentResult
upperBound
- above this cost, alignments do not need to be consideredControlFlowAlignmentException
- in case something really goes wrongUnreliableControlFlowAlignmentException
- in case the returned alignment is not reliable because some
limit was reachedlong getTotalQueuedStates()
int getPartialDataAlignments()
int getCacheSize()
int getCacheHit()
long getDataStateCount()