The predicates of the Apollonius diagram: Algorithmic analysis and implementation