added definitions for AStar