Qualitative Spatial Reasoning with Directional and Topological Relations

Algorithm 3

Algorithm for checking cross-consistency.

IsCrossConsistent(, )

(1)      require   a set of relations,

(2)      ensure   cross-consistent then true; else false

(3)      ←convertRelation()

(4)      (, consistency) ←addRelations(, )

(5)      if !consistency then

(6)              return false

(7)      return true