Verification of polyhedral boundary representations (B-reps) of solid
models through the use of an algorithm is addressed here. The validity
conditions for B-rep models are presented in a format which leads dir
ectly to a set of verification algorithms. The validity verification a
lgorithms are intended for design automation through execution after e
ach solid modeling operation, after localized geometry modification, o
n imported object model databases, prior to storage of object models,
or prior to execution of an application program on the solid model.