public static Backbone computePositive ( final Formula formula ) { return compute ( formula , formula . variables ( ) , BackboneType . ONLY_POSITIVE ) ; }
Computes the positive backbone variables for a given formula .