SNode is supported now directly as an argument to constraint/predicate. Pointer operation is no longer necessary, as is node-ptr<> type for logical vars. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
SNode is supported now directly as an argument to constraint/predicate. Pointer operation is no longer necessary, as is node-ptr<> type for logical vars. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||