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