public static Ptg[] getTokens(Formula formula) {if (formula == null) {return null;}return formula.getTokens();}
public static Ptg[] GetTokens(Formula formula){if (formula == null){return null;}return formula.Tokens;}