collect-logic-vars ( seq -- vars-array )

Vocabulary

logic.private

Inputs

seq

an object

Outputs

vars-array

an object

Definition

USING: sequences.deep sets ;

IN: logic.private

: collect-logic-vars ( seq -- vars-array )
    [ logic-var? ] deep-filter members ;