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