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