kill-vefs ( edge: b-edge -- )

Vocabulary

euler.operators

Inputs

edge

a b-edge

Outputs

None

Definition

USING: accessors euler.b-rep kernel namespaces typed ;

IN: euler.operators

TYPED:: kill-vefs ( edge: b-edge -- )
    edge assert-isolated-component
    b-rep get :> b-rep edge dup opposite-edge>> :> ( e2 e1 ) e1
    vertex>> :> v1 e2 vertex>> :> v2 e1 face>> b-rep delete-face
    e1 b-rep delete-edge e2 b-rep delete-edge
    v1 b-rep delete-vertex v2 b-rep delete-vertex ;