Switching functions and solid geometrical modeler

A novel, set-operations rather than geometry-oriented, solid geometrical modeler is proposed. The modeler is based upon the representation of objects by switching functions and thus is capable to perform the set (Boolean) operations very efficiently. The graphical support and communication with the real world are provided via the extended three-dimensional Karnaugh map.