Direction
Direction.A direction is a pair (direction, weight). The direction is a symbol with four possible values: +, -, *, or space. The weight is an integer.
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de