src/main/java/org/cosette/Environment.java
/**
     * Find the new correlation variable in the given correlation variable set.
     *
     * @param variableSet The input variable set for comparison.
     * @return The new correlation variable. If there is zero or more than one such variables, nothing will be returned.
     */
Find the new correlation variable in the given correlation variable set.
@param variableSet The input variable set for comparison.
@return The new correlation variable. If there is zero or more than one such variables, nothing will be returned.
Find the new correlation variable in the given correlation variable set . @param variableSet The input variable set for comparison . @return The new correlation variable . If there is zero or more than one such variables nothing will be returned .
public CorrelationId delta(Set<CorrelationId> variableSet) {
        HashSet<CorrelationId> copy = new HashSet<>(variableSet);
        copy.removeAll(environment.keySet());
        if (copy.size() == 1) {
            return copy.iterator().next();
        }
        return null;
    }
public CorrelationId delta ( Set < CorrelationId > variableSet ) { HashSet < CorrelationId > copy = new HashSet < > ( variableSet ) ; copy . removeAll ( environment . keySet ( ) ) ; if ( copy . size ( ) == 1 ) { return copy . iterator ( ) . next ( ) ; } return null ; }
Find the new correlation variable in the given correlation variable set.
Find the new correlation variable in the given correlation variable set .