Here is a list of all file members with links to the files they belong to:

- a -

• AGGREGATE : clasp_options.cpp
• aligned() : platform.h
• ALIGNOF : type_manip.h
• ARG : clasp_options.cpp
• argPos_ : program_options.cpp
• argv_ : program_options.cpp

- b -

• BERK_CACHE_GROW : heuristics.cpp
• BERK_MAX_DECAY : heuristics.cpp
• BERK_MAX_MOMS_DECS : heuristics.cpp
• BERK_MAX_MOMS_VARS : heuristics.cpp
• BERK_NUM_CANDIDATES : heuristics.cpp
• bodies_ : logic_program.cpp

- c -

• check_modular : logic_program.cpp
• check_not_frozen : logic_program.cpp
• CLASP_ASP_OPTIONS : clasp_options.cpp , clasp_options.h , clasp_options.cpp
• CLASP_ASSERT_CONTRACT : platform.h
• CLASP_ASSERT_CONTRACT_MSG : platform.h
• CLASP_CLI_AUX_CONFIGS : clasp_options.h , clasp_options.cpp
• CLASP_CLI_DEFAULT_CONFIGS : clasp_options.h , clasp_options.cpp
• CLASP_CONTEXT_OPTIONS : clasp_options.cpp , clasp_options.h
• CLASP_CORE_STATS : solver_types.h
• CLASP_ENUM_OPTIONS : clasp_options.h , clasp_options.cpp
• CLASP_EXTENDED_STATS : solver_types.h
• CLASP_FAIL_IF : platform.h
• clasp_format() : platform.h , parser.cpp
• clasp_format_error() : platform.h , parser.cpp
• CLASP_JUMP_STATS : solver_types.h
• CLASP_LEGAL : clasp_facade.h
• CLASP_PRAGMA_TODO : platform.h
• CLASP_SEARCH_BASIC_OPTIONS : clasp_options.h , clasp_options.cpp
• CLASP_SEARCH_REDUCE_OPTIONS : clasp_options.cpp , clasp_options.h , clasp_options.cpp
• CLASP_SEARCH_RESTART_OPTIONS : clasp_options.h , clasp_options.cpp
• CLASP_SOLVE_OPTIONS : clasp_options.h , clasp_options.cpp
• CLASP_SOLVER_BASIC_OPTIONS : clasp_options.cpp , clasp_options.h , clasp_options.cpp
• CLASP_SOLVER_LOOKBACK_OPTIONS : clasp_options.cpp , clasp_options.h , clasp_options.cpp
• CLASP_STAT_ACCU : solver_types.h
• CLASP_STAT_DEFINE : solver_types.h
• CLASP_STAT_GET : solver_types.h
• CLASP_STAT_KEY : solver_types.h
• CLASP_VERSION : clasp_facade.h
• clear_bit : platform.h
• cmd_ : program_options.cpp
• COMMON_KEYS : clasp_facade.cpp
• CONFIG : clasp_options.h , clasp_options.cpp
• CONVERT : clasp_options.cpp
• CONVERT_EX : clasp_options.cpp
• currentArg_ : program_options.cpp

- e -

• eMask : program_options.cpp
• example1() : example.h , example1.cpp
• example2() : example.h , example2.cpp

- f -

• fetch_and_and() : atomic.h
• fetch_and_or() : atomic.h
• flags : program_options.cpp
• FUNC_NAME : platform.h

- g -

• GET_KEYS : clasp_facade.cpp
• GET_OBJ : clasp_facade.cpp
• GROUP_BEGIN : clasp_options.cpp , clasp_options.h
• GROUP_END : clasp_options.cpp

- h -

• HEU_PARAM : clasp_options.cpp

- i -

• in_ : program_options.cpp
• initMainThread() : alarm.h , alarm.cpp
• INT16_MAX : platform.h
• INT16_MIN : platform.h
• INT64_MAX : platform.h
• IS_OFF : clasp_options.cpp

- l -

• LIT_TO_STRING : typed_value.h
• LIT_TO_STRING_X : typed_value.h
• lockAlarm() : alarm.h

- m -

• main() : app/main.cpp , libclasp/example/main.cpp , test_main.cpp
• MANY_ARG : clasp_options.cpp
• MANY_DESC : clasp_options.cpp
• MAP : clasp_options.cpp
• MAP_IF : logic_program.cpp
• MAX_MEM : solver_types.h
• maxValue_s : application.cpp

- n -

• NO_ARG : solver_types.h , clasp_options.cpp

- o -

• OPTION : clasp_options.h , clasp_options.cpp

- p -

• PAIR : clasp_options.cpp
• parsed : program_options.cpp
• posOpt : program_options.cpp
• printBR : clasp_output.cpp
• printKey : clasp_output.cpp
• printKeyValue : clasp_output.cpp
• printLN : clasp_output.cpp
• printModel() : libclasp/example/main.cpp , example.h
• protectMainThread() : alarm.h , alarm.cpp

- r -

• remaining : program_options.cpp
• resetMainThread() : alarm.h , alarm.cpp
• RETURN_IF : shared_context.cpp , logic_program.cpp
• right_most_bit : platform.h
• RUN : libclasp/example/main.cpp

- s -

• SCOPE_ALARM_LOCK : alarm.h
• SET : clasp_options.cpp
• set_bit : platform.h
• SET_ENUM : clasp_options.cpp
• SET_ENUM_U : clasp_options.cpp
• SET_LEQ : clasp_options.cpp
• SET_OR_FILL : clasp_options.cpp
• SET_OR_ZERO : clasp_options.cpp
• SET_R : clasp_options.cpp
• setAlarm() : alarm.h , alarm.cpp
• setAlarmHandler() : alarm.h , alarm.cpp
• SIGALRM : alarm.h
• static_assert : platform.h
• STORE : clasp_options.cpp
• store_clear_bit : platform.h
• STORE_ENUM : clasp_options.cpp
• STORE_ENUM_U : clasp_options.cpp
• STORE_FLAG : clasp_options.cpp
• STORE_LEQ : clasp_options.cpp
• STORE_OR_FILL : clasp_options.cpp
• STORE_OR_ZERO : clasp_options.cpp
• store_set_bit : platform.h
• store_toggle_bit : platform.h
• STRATEGY : minimize_constraint.cpp
• STRING : platform.h
• STRING2 : platform.h

- t -

• TEMP : clasp_options.cpp
• test_bit : platform.h
• toggle_bit : platform.h
• tok_ : program_options.cpp

- u -

• UINT32_MAX : platform.h
• UINT64_MAX : platform.h
• UINTP_MAX : platform.h
• unlockAlarm() : alarm.h
• UPair : clasp_options.cpp

- v -

• VALUE : clasp_options.cpp

- w -

• WRITE_STDERR : application.h