@Test public void testCalculateFormulaSize() { assertEquals(3, GeneralFeatureUtils.calculateFormulaSize(nonPrmitiveFormula)); assertEquals(5, GeneralFeatureUtils.calculateFormulaSize(rootFormula)); }
public static int calculateFormulaSize(Formula rootFormula){ return getAllFormulaNodes(rootFormula).size(); }
GeneralFeatureUtils { public static int calculateFormulaSize(Formula rootFormula){ return getAllFormulaNodes(rootFormula).size(); } }
GeneralFeatureUtils { public static int calculateFormulaSize(Formula rootFormula){ return getAllFormulaNodes(rootFormula).size(); }  }
GeneralFeatureUtils { public static int calculateFormulaSize(Formula rootFormula){ return getAllFormulaNodes(rootFormula).size(); }  static List<Value> getLocalPrimitiveValuesOfDerivation(Derivation deriv, boolean deterministic); static int calculateFormulaSize(Formula rootFormula); static List<Value> getAllPrimitiveValuesInFormula(Formula formula); }
GeneralFeatureUtils { public static int calculateFormulaSize(Formula rootFormula){ return getAllFormulaNodes(rootFormula).size(); }  static List<Value> getLocalPrimitiveValuesOfDerivation(Derivation deriv, boolean deterministic); static int calculateFormulaSize(Formula rootFormula); static List<Value> getAllPrimitiveValuesInFormula(Formula formula);  }