check-face ( face -- )

Vocabulary

euler.b-rep

Inputs

face

an object

Outputs

None

Definition

USING: accessors game.models.half-edge kernel ;

IN: euler.b-rep

: check-face ( face -- )
    [ edge>> check-live-edge ]
    [ dup edge>> [ face>> assert= ] with each-face-edge ] bi ;