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 . getTokens ( ) ; }
public static Ptg[] GetTokens(Formula formula){if (formula == null){return null;}return formula.Tokens;}
