An adjacency predicate efficiently implements the Space_Predicate interface by taking advantage of the fact that the space is an adjacency.
Implementations: