Headers

Constraint System
Spatial Constraint System
Powerset Boolean Algebra
Spatial Constraint System with Extrusion

Functions

ba::ba
cs::leq
scs::s_inv
ba::ba
cs::lub
scs::s_map
ba::map_e
cs::print_cons
scs::s_properties
ba::map_s
cs::print_relation
scse::e
cs::add_element
cs::p_getElementNum
scse::e_inv
cs::bound
scs::f_properties
scse::e_map
cs::cs
scs::print_func
scse::e_properties
cs::cs
scs::print_sfunc
scse::print_efunc
cs::glb
scs::s
scse::scse
cs::imp
scs::scs
scse::scse
cs::is_distributive
scs::scs