lisa/src/main/java/it/unive/lisa/analysis/lattices/FunctionalLattice.java
protected Map<K, V> mkNewFunction(Map<K, V> other) {
		if (other == null)
			return new HashMap<>();
		return new HashMap<>(other);
	}
/**
	 * Creates a new instance of the underlying function. The purpose of this
	 * method is to provide a common function implementation to every subclass
	 * that does not have implementation-specific requirements.
	 * 
	 * @param other an optional function to copy, can be {@code null}
	 * 
	 * @return a new function, either empty or containing the same data of the
	 *             given one
	 */
Creates a new instance of the underlying function. The purpose of this
method is to provide a common function implementation to every subclass
that does not have implementation-specific requirements.

@param other an optional function to copy, can be  null

@return a new function, either empty or containing the same data of the
given one
Creates a new instance of the underlying function . The purpose of this method is to provide a common function implementation to every subclass that does not have implementation - specific requirements . @param other an optional function to copy can be null @return a new function either empty or containing the same data of the given one
protected Map<K, V> mkNewFunction(Map<K, V> other) {
		if (other == null)
			return new HashMap<>();
		return new HashMap<>(other);
	}
protected Map < K , V > mkNewFunction ( Map < K , V > other ) { if ( other == null ) return new HashMap < > ( ) ; return new HashMap < > ( other ) ; }
Creates a new instance of the underlying function.
Creates a new instance of the underlying function .