| Class and Description |
|---|
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| AbstractDRecord |
| DataAwareThread
Returns the optimal control flow and data alignment by adding the data cost
of the current alignment prefix to the total cost of each record.
|
| DataAwareThread.PartialResultFactory
Stateful factory for
ControlFlowAlignmentResult instances from a
DRecord |
| DHead |
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| DataAwareThread
Returns the optimal control flow and data alignment by adding the data cost
of the current alignment prefix to the total cost of each record.
|
| Class and Description |
|---|
| DataAwareThread.PartialResultFactory
Stateful factory for
ControlFlowAlignmentResult instances from a
DRecord |
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| DataAwareThread.PartialResultFactory
Stateful factory for
ControlFlowAlignmentResult instances from a
DRecord |
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |
| Class and Description |
|---|
| DRecord
Similar to
PRecord, but with added data costs and storing the current
variable assignment. |