lisa/src/main/java/it/unive/lisa/analysis/lattices/FunctionalLattice.java
public Set<K> keys() {
		if (function == null)
			return Collections.emptySet();
		return function.keySet();
	}
/**
	 * Yields the keys of this functional lattice.
	 * 
	 * @return the keys of this functional lattice
	 */
Yields the keys of this functional lattice.

@return the keys of this functional lattice
Yields the keys of this functional lattice . @return the keys of this functional lattice
public Set<K> keys() {
		if (function == null)
			return Collections.emptySet();
		return function.keySet();
	}
public Set < K > keys ( ) { if ( function == null ) return Collections . emptySet ( ) ; return function . keySet ( ) ; }
Yields the keys of this functional lattice.
Yields the keys of this functional lattice .