Spatial Constraint System with Extrusion

Introduction

A Spatial Constraint System with Extrusion (SCSE for short) is a spatial constraint system equipped with n extrusion functions on its set of elements. Each map satifies one axiom; it is the right inverse of a space function (see E.1).

Discussion

A SCSE is a tuple ⟨SCS, e₁, ..., e_n⟩ where

SCS : A Spatial Constraint System.

eᵢ : A self map (also called an extrusion function) on the elements of the CS satisfying

- E.1 eᵢ(sᵢ(c)) = c (right-inverse)

it may also satisfy

- E.2 eᵢ(⊥) = ⊥ (emptiness)

- E.3 eᵢ(c ⨆ d) = eᵢ(c) ⨆ eᵢ(d) (distribution)

Updated:

Monday, January 25, 2016

Classes

scse

The Spatial Constraint System with Extrusion class.