public static Backbone computePositive ( final Collection < Formula > formulas , final Collection < Variable > variables ) { return compute ( formulas , variables , BackboneType . ONLY_POSITIVE ) ; }
Computes the positive backbone variables for a given collection of formulas w . r . t . a collection of variables .