remove all cached scp-programs . concode_field_sep SCAddr prmsAddr concode_elem_sep SCSession session concode_elem_sep Map<SCAddr,SCPProgram> cache concode_elem_sep SCAddr constsAddr concode_elem_sep SCAddr sign concode_elem_sep Map<SCAddr,SCPOperator> operators concode_elem_sep String fullName concode_elem_sep String shortName concode_elem_sep SCAddr varsAddr concode_elem_sep Map<SCAddr,String> var2name concode_field_sep Set<SCAddr> getVariables concode_elem_sep boolean hasVariables concode_elem_sep SCPProgram getCacheOrNew concode_elem_sep String getVariableName concode_elem_sep SCAddr getVarsAddr concode_elem_sep SCAddr getConstsAddr concode_elem_sep SCPProgram getCache concode_elem_sep void removeCache concode_elem_sep SCAddr getSign concode_elem_sep void fetch concode_elem_sep SCAddr getPrmsAddr concode_elem_sep Collection<SCPProgram> getAllCached concode_elem_sep String getShortName concode_elem_sep String toString concode_elem_sep String getFullName concode_elem_sep SCPOperator getOperator concode_elem_sep void putCache
void function ( ) { synchronized ( cache ) { cache . clear ( ) ; } }