UNIF-COUNTER-OUTPUT : FLAGUNIF-COUNTER-OUTPUT is a flag or parameter.
See UNIF-COUNTER and UNIF-TRIGGER for the use of this flag.
0: Print the entire tree in flat format with details. (PALL)
1: Print the entire tree in flat format without details. (PALL)
2: Print the tree in tree format with subs. (UTREE*)
3: Print the tree in tree format without subs. (UTREE*)
4: Print just the subs and details in flat format. (UTREE)
5: Print just the subs in flat format. (UTREE)
6: Print full details of the last node. (P and PP*)
7: Print some details of the last node. (P and PP)
8: Print the last node and its properties only.
9: Print the statistics for the tree so far. (STATS)
10: Print the average values for STATS, after a mating is found.
This flag only applies in UN88 unification.
UNIF-COUNTER-OUTPUT takes values of type INTEGER+.
It belongs to subjects UNIFICATION .
Its default value is 0
Its current value is 0.
TPS documentation homepage