- a -

• AGGREGATE : clasp_options.cpp
• ALIGNOF : type_manip.h
• ARG : clasp_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

- 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_JUMP_STATS : solver_types.h
• CLASP_LEGAL : clasp_facade.h
• CLASP_PRAGMA_TODO : platform.h
• CLASP_SEARCH_BASIC_OPTIONS : clasp_options.cpp , clasp_options.h , clasp_options.cpp
• CLASP_SEARCH_REDUCE_OPTIONS : clasp_options.h , clasp_options.cpp
• CLASP_SEARCH_RESTART_OPTIONS : clasp_options.h , clasp_options.cpp
• CLASP_SOLVE_OPTIONS : clasp_options.cpp , 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.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
• COMMON_KEYS : clasp_facade.cpp
• CONFIG : clasp_options.cpp , clasp_options.h
• CONVERT : clasp_options.cpp
• CONVERT_EX : clasp_options.cpp

- f -

• 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 -

• 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

- m -

• MANY_ARG : clasp_options.cpp
• MANY_DESC : clasp_options.cpp
• MAP : clasp_options.cpp
• MAP_IF : logic_program.cpp
• MAX_MEM : solver_types.h

- n -

• NO_ARG : solver_types.h , clasp_options.cpp

- o -

• OPTION : clasp_options.h , clasp_options.cpp

- p -

• PAIR : clasp_options.cpp
• printBR : clasp_output.cpp
• printKey : clasp_output.cpp
• printKeyValue : clasp_output.cpp
• printLN : clasp_output.cpp

- r -

• RETURN_IF : logic_program.cpp , shared_context.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
• 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

- u -

• UINT32_MAX : platform.h
• UINT64_MAX : platform.h
• UINTP_MAX : platform.h

- v -

• VALUE : clasp_options.cpp

- w -

• WRITE_STDERR : application.h