| CPC G06F 30/10 (2020.01) [G06T 19/20 (2013.01); G06F 30/15 (2020.01); G06T 2219/2008 (2013.01)] | 25 Claims |

|
1. A method for designing a solid model of a product, the solid model comprising non-manifold solids, the method comprising:
transforming a computer system to a logical reasoning system comprising a logical mechanism for traversing non-manifold solids in geometric and topological representations in the solid model, the non-manifold solids comprising non-manifold edges comprising an edge comprising a same vertex at both ends of the edge thus comprising multiple edge uses;
receiving, by the logical reasoning system, a model of a three dimensional solid comprising computer aided design interfaces to the geometric and topological representations in the model that are implementation specific to the model;
determining, by the logical reasoning system, at least one of: vertices, edges, and faces for the model;
traversing, using the logical mechanism, the at least one of vertices, edges, and faces of the non-manifold solids in the model and determining for the non-manifold solids: corresponding adjacent vertices, adjacent edges, or adjacent faces for the at least one of: the vertices, the edges, and the faces such that each of corresponding adjacent vertices, corresponding adjacent edges, or corresponding adjacent faces are counted exactly once in the traversing;
determining, by traversing the non-manifold solids, if the model satisfies or does not satisfy a design requirement of the product; generating manufacturing instructions for the product from the model; and manufacturing the product based on the manufacturing instructions.
|