Strategy summary
|
get-statistics
|
Give the current 'statistics' level
|
stats.str
|
if-less-statistics(Strategy s, ATerm t)
|
n/a
|
stats.str
|
if-less-statistics1(Strategy s)
|
n/a
|
stats.str
|
if-less-statistics2(Strategy s)
|
n/a
|
stats.str
|
if-less-statistics3(Strategy s)
|
n/a
|
stats.str
|
if-less-statistics4(Strategy s)
|
n/a
|
stats.str
|
if-less-statistics5(Strategy s)
|
n/a
|
stats.str
|
if-less-statistics6(Strategy s)
|
n/a
|
stats.str
|
if-less-statistics7(Strategy s)
|
n/a
|
stats.str
|
if-statistics(Strategy s, ATerm t)
|
n/a
|
stats.str
|
if-statistics1(Strategy s)
|
n/a
|
stats.str
|
if-statistics2(Strategy s)
|
n/a
|
stats.str
|
if-statistics3(Strategy s)
|
n/a
|
stats.str
|
if-statistics4(Strategy s)
|
n/a
|
stats.str
|
if-statistics5(Strategy s)
|
n/a
|
stats.str
|
if-statistics6(Strategy s)
|
n/a
|
stats.str
|
if-statistics7(Strategy s)
|
n/a
|
stats.str
|
pass-statistics
|
Builds command-line parameter for 'statistics' levels for calling XT tools
|
stats.str
|
set-statistics
|
Sets the 'statistics' level
|
stats.str
|