CBMC
gcc_versiont Member List

This is the complete list of members for gcc_versiont, including all inherited members.

default_c_standardgcc_versiont
default_cxx_standardgcc_versiont
flavorgcc_versiont
flavort enum namegcc_versiont
gcc_versiont()gcc_versiontinline
get(const std::string &executable)gcc_versiont
is_at_least(unsigned v_major, unsigned v_minor=0, unsigned v_patchlevel=0) constgcc_versiont
v_majorgcc_versiont
v_minorgcc_versiont
v_patchlevelgcc_versiont