check-edge ( edge -- )

Vocabulary

euler.b-rep

Inputs

edge

an object

Outputs

None

Definition

USING: accessors combinators kernel ;

IN: euler.b-rep

: check-edge ( edge -- )
    {
        [ vertex>> check-live-vertex ]
        [ opposite-edge>> check-live-edge ]
        [ face>> check-live-face ]
        [ dup opposite-edge>> opposite-edge>> assert= ]
    } cleave ;