src/main/java/org/cosette/Environment.java
/**
     * Find the level for a correlation variable.
     *
     * @param id The correlation variable.
     * @return The level of the correlation variable. If the given correlation variable is not recorded, the global
     * level will be returned.
     */
Find the level for a correlation variable.
@param id The correlation variable.
@return The level of the correlation variable. If the given correlation variable is not recorded, the global
level will be returned.
Find the level for a correlation variable . @param id The correlation variable . @return The level of the correlation variable . If the given correlation variable is not recorded the global level will be returned .
public int findLevel(CorrelationId id) {
        if (environment.containsKey(id)) {
            return environment.get(id);
        }
        return level;
    }
public int findLevel ( CorrelationId id ) { if ( environment . containsKey ( id ) ) { return environment . get ( id ) ; } return level ; }
Find the level for a correlation variable.
Find the level for a correlation variable .