MS98-FRAGMENT-ORDER : FLAG

MS98-FRAGMENT-ORDER is a flag or parameter.
The order in which the fragments are considered. This
principally affects which fragment will become the starting
point of the search, and which of the touched but not blocked
fragments will be blocked next. See also MS98-FIRST-FRAGMENT.
0 : consider the number of ways to block the given fragment.
1 : consider the number of ways that the results for 0 might be
extended (i.e. look ahead two steps in the search process)
2 : as for 1, but then weight in favour of ground fragments
(i.e. those containing no variables).
MS98-FRAGMENT-ORDER takes values of type INTEGER+.
It belongs to subjects MS98-1 .
Its default value is 1
Its current value is 1.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage