Spatial Constraint System

Introduction

A Spatial Constraint System (SCS for short) is a constraint system equipped with n spatial functions on its set of elements. Each map satifies two axioms; it is strict (see S.1) and it distributes over finite joins (see S.2).

Discussion

A SCS is a tuple ⟨CS, s₁, ..., s_n⟩ where

CS : A Constraint System.

sᵢ : A strict ⨆-distributive self map (also called a space function) on the elements of the CS satisfying

- S.1 sᵢ(⊥) = ⊥ (emptiness)

- S.2 sᵢ(c ⨆ d) = sᵢ(c) ⨆ sᵢ(d) (distribution)

Updated:

Monday, January 25, 2016

Classes

scs

The Spatial Constraint System class.