make-ev-one ( edge: b-edge point: point -- edge: b-edge )

Vocabulary

euler.operators

Inputs

edge	a b-edge
point	a point

Outputs

edge

a b-edge

Definition

USING: accessors euler.b-rep euler.operators.private namespaces
typed ;

IN: euler.operators

TYPED:: make-ev-one
    ( edge: b-edge point: point -- edge: b-edge )
    point b-rep get new-vertex :> v v edge make-edge
    :> e1' edge vertex>> e1' make-edge
    :> e2' e2' edge face-cw next-edge<< e1' e2' opposite-edges
    e1' ;