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