public SortedSet < Variable > variables ( ) { if ( this . variables == null ) { this . variables = new TreeSet <> ( ) ; for ( final Formula f : this . formulas ) this . variables . addAll ( . variables ( ) ) ; } return this . variables ; }
Returns all variables occurring in this formula list .