TargetSpec is to be reduced to a reference to logical variable,
simplifying the feedback predicate.
When a node can be specified directly, use target{} block.
|
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
TargetSpec is to be reduced to a reference to logical variable,
simplifying the feedback predicate.
When a node can be specified directly, use target{} block.
|
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||