Claims Analysis
Total Claims: 11
Claim 1
Independent Claim
101 words
A solid modelling system for generating a spatial representation of an object defined in terms of solid geometric primitives combined by a logical expression including one or more combinatorial logical operators, comprising: object definition means including a structure comprising a plurality of linked nodes for said primitives and for said operators; first logic means for traversing at least certain of the nodes generating a table comprising a bitmap representing the logical expression or the part thereof defined at the operator nodes encountered during the traversal; and second logic means for testing the bitmap for logical redundancies indicative of redundant geometric primitives.
Claim 2
Dependent Claim
101 words
A solid modelling system for generating a spatial representation of an object defined in terms of solid geometric primitives combined by a logical expression including one or more combinatorial logical operators, comprising: object definition means including a structure comprising a plurality of linked nodes for said primitives and for said operators; first logic means for traversing at least certain of the nodes generating a table comprising a bitmap representing the logical expression or the part thereof defined at the operator nodes encountered during the traversal; and second logic means for testing the bitmap for logical redundancies indicative of redundant geometric primitives.
Claim 3
Dependent Claim
57 words
A solid modelling system as claimed in claim 1 wherein each bit in the bitmap is representative of a respective one of the constituents of said primitives and wherein said second logic means, in order to test for the redundancy of a primitive u, tests for the equivalence of corresponding utrue and ufalse constituent in the bitmap.
Claim 4
Dependent Claim
47 words
A solid modelling system as claimed in claim 1 wherein said first logic means additionally generates a set of pointers to the primitives encountered during the traversal and wherein the second logic deletes from the set a pointer to a primitive which is found to be redundant.
Claim 5
Dependent Claim
51 words
A solid modelling system as claimed in claim 3 additionally comprising third logic means for replacing the nodes traversed by said first logic means by a single truth table node which comprises the bitmap produced by said first logic means and the set of pointers to nodes defining the remaining primitives.
Claim 6
Dependent Claim
130 words
A solid modelling system as claimed in claim 4 which additionally comprises: world space definition means for defining a voxel in which the object exists; spatial subdivision logic means for subdividing world space into progressively smaller voxels until voxels are created for which the spatial representation can be rendered; object simplification logic means for simplifying the structure defining the object within a voxel generated by the spatial subdivision means by combining or eliminating primitives entirely inside or outside said voxel; counting logic means for counting the number of primitives remaining in the, or a part of a simplified structure as generated by the object simplification means and, if there are less than a predetermined number of primitives, to cause the first and second logic means to process said simplified structure.
Claim 7
Dependent Claim
44 words
A solid modelling system as claimed in claim 5 in which the object simplification logic means comprises: logic which, within a voxel generated by said spatial subdivision logic means simplifies the truth table node previously inserted in the structure by the third logic means.
Claim 8
Dependent Claim
42 words
A solid modelling system as claimed in claim 5, additionally comprising logic for processing a relevance map representative of geometric information for indicating when bits of the bitmap are determined to be irrelevant to the definition of the object within that voxel.
Claim 9
Dependent Claim
30 words
A solid modelling system as claimed in claim 7, wherein said second logic means deletes from the set of pointers a pointer to a primitive by modifying the relevance map.
Claim 10
Dependent Claim
130 words
A solid modelling system as claimed in claim 1 which additionally comprises: world space definition means for defining a voxel in which the object exists; spatial subdivision logic means for subdividing world space into progressively smaller voxels until voxels are created for which the spatial representation can be rendered; object simplification logic means for simplifying the structure defining the object within a voxel generated by the spatial subdivision means by combining or eliminating primitives entirely inside or outside said voxel; counting logic means for counting the number of primitives remaining in the, or a part of a simplified structure as generated by the object simplification means and, if there are less than a predetermined number of primitives, to cause the first and second logic means to process said simplified structure.
Claim 11
Dependent Claim
42 words
A solid modelling system as claimed in claim 9 additionally comprising logic for processing a relevance map representative of geometric information for indicating when bits of the bitmap are determined to be irrelevant to the definition of the object within that voxel.