📄 l2test.wpj
字号:
$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
$(PRJ_DIR)/../../../include/conflict_db/command.h \
$(PRJ_DIR)/../../../include/conflict_db/observable.h \
$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
$(PRJ_DIR)/../../../include/conflict_db/transition.h \
$(PRJ_DIR)/../../../include/tms/ltms.h \
$(PRJ_DIR)/../../../include/tms/ptheory.h \
$(PRJ_DIR)/../../../include/tms/clause.h \
$(PRJ_DIR)/../../../include/tms/proposition.h \
$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
$(PRJ_DIR)/../../../include/debuggers/T_system_debug.h \
$(PRJ_DIR)/../../../include/debuggers/conflict_db_debug.h \
$(PRJ_DIR)/../../../include/debuggers/ltms_debug.h \
$(PRJ_DIR)/../../../include/transition/transitioned.h \
$(PRJ_DIR)/../../../include/debuggers/trajectory.h \
$(PRJ_DIR)/../../../include/checkpoint/checkpoint.h \
$(PRJ_DIR)/../../../include/opsat/cbfs_tracker_debug.h \
$(PRJ_DIR)/../../../include/opsat/cbfs_tracker.h \
$(PRJ_DIR)/../../../include/opsat/opsat.h \
$(PRJ_DIR)/../../../include/opsat/cbfs_agenda.h \
$(PRJ_DIR)/../../../include/opsat/binaryheap.h \
$(PRJ_DIR)/../../../include/opsat/agenda_types.h \
$(PRJ_DIR)/../../../include/cover/cover_tracker_debug.h \
$(PRJ_DIR)/../../../include/cover/cover_tracker.h \
$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
$(PRJ_DIR)/../../../include/debuggers/L2_string_map_listener.h \
$(PRJ_DIR)/../../../include/readers/to_t_system_listener.h \
$(PRJ_DIR)/../../../include/transition/tracker_listener.h \
$(PRJ_DIR)/../../../include/transition/T_system_listener.h \
$(PRJ_DIR)/../../../include/conflict_db/conflict_db_listener.h \
$(PRJ_DIR)/../../../include/tms/ptheory_listener.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/livingstone_debug.cpp_objects
livingstone_debug.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/livingstone_debug.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/ltms_debug.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/ltms_debug.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/array.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
$(PRJ_DIR)/../../../include/mba_utils/pair.h \
$(PRJ_DIR)/../../../include/mba_utils/prime.h \
$(PRJ_DIR)/../../../include/mba_utils/slist.h \
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
$(PRJ_DIR)/../../../include/debuggers/ltms_debug.h \
$(PRJ_DIR)/../../../include/tms/ltms.h \
$(PRJ_DIR)/../../../include/tms/ptheory.h \
$(PRJ_DIR)/../../../include/tms/clause.h \
$(PRJ_DIR)/../../../include/tms/proposition.h \
$(PRJ_DIR)/../../../include/tms/ptheory_listener.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/ltms_debug.cpp_objects
ltms_debug.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/ltms_debug.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/tracker_debug.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/tracker_debug.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/tracker_debug.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/transition/tracker.h \
$(PRJ_DIR)/../../../include/transition/T_system.h \
$(PRJ_DIR)/../../../include/mba_utils/pair.h \
$(PRJ_DIR)/../../../include/conflict_db/conflict_db.h \
$(PRJ_DIR)/../../../include/conflict_db/assumption.h \
$(PRJ_DIR)/../../../include/mba_utils/slist.h \
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
$(PRJ_DIR)/../../../include/conflict_db/variable.h \
$(PRJ_DIR)/../../../include/tms/theory.h \
$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
$(PRJ_DIR)/../../../include/conflict_db/dependent.h \
$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
$(PRJ_DIR)/../../../include/conflict_db/command.h \
$(PRJ_DIR)/../../../include/conflict_db/observable.h \
$(PRJ_DIR)/../../../include/conflict_db/past_command.h \
$(PRJ_DIR)/../../../include/conflict_db/state_variable.h \
$(PRJ_DIR)/../../../include/conflict_db/transition.h \
$(PRJ_DIR)/../../../include/tms/ltms.h \
$(PRJ_DIR)/../../../include/mba_utils/array.h \
$(PRJ_DIR)/../../../include/tms/ptheory.h \
$(PRJ_DIR)/../../../include/tms/clause.h \
$(PRJ_DIR)/../../../include/tms/proposition.h \
$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
$(PRJ_DIR)/../../../include/transition/termination.h \
$(PRJ_DIR)/../../../include/debuggers/T_system_debug.h \
$(PRJ_DIR)/../../../include/debuggers/conflict_db_debug.h \
$(PRJ_DIR)/../../../include/debuggers/ltms_debug.h \
$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
$(PRJ_DIR)/../../../include/mba_utils/prime.h \
$(PRJ_DIR)/../../../include/transition/transitioned.h \
$(PRJ_DIR)/../../../include/debuggers/trajectory.h \
$(PRJ_DIR)/../../../include/checkpoint/checkpoint.h \
$(PRJ_DIR)/../../../include/mba_utils/algos.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/tracker_debug.cpp_objects
tracker_debug.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/tracker_debug.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/trajectory.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/trajectory.cpp_dependencies
$(PRJ_DIR)/../../../include/debuggers/trajectory.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/mba_utils/slist.h \
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
$(PRJ_DIR)/../../../include/tms/theory.h \
$(PRJ_DIR)/../../../include/debuggers/L2_string_map.h \
$(PRJ_DIR)/../../../include/mba_utils/array.h \
$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
$(PRJ_DIR)/../../../include/mba_utils/pair.h \
$(PRJ_DIR)/../../../include/mba_utils/prime.h \
$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
$(PRJ_DIR)/../../../include/conflict_db/variable.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/trajectory.cpp_objects
trajectory.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../debuggers/trajectory.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/L2_assert.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/L2_assert.cpp_dependencies
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/L2_assert.cpp_objects
L2_assert.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/L2_assert.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/version.c_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/version.c_dependencies
$(PRJ_DIR)/../../../include/livingstone/version.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/version.c_objects
version.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../livingstone/version.c_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba/cpp/src/mba_utils/list_parser.cpp_objects
list_parser.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/array_allocator.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/array_allocator.cpp_dependencies
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/array_allocator.cpp_objects
array_allocator.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/array_allocator.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/hash_table.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/hash_table.cpp_dependencies
$(PRJ_DIR)/../../../include/mba_utils/hash_table.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/pair.h \
$(PRJ_DIR)/../../../include/mba_utils/prime.h \
$(PRJ_DIR)/../../../include/mba_utils/slist.h \
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/hash_table.cpp_objects
hash_table.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/hash_table.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/stringops.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/stringops.cpp_dependencies
$(PRJ_DIR)/../../../include/mba_utils/stringops.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/stringops.cpp_objects
stringops.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../mba_utils/stringops.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../opsat/agenda_types.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../opsat/agenda_types.cpp_dependencies
$(PRJ_DIR)/../../../include/opsat/cbfs_agenda.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/opsat/binaryheap.h \
$(PRJ_DIR)/../../../include/mba_utils/array.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/conflict_db/candidate.h \
$(PRJ_DIR)/../../../include/conflict_db/assignment.h \
$(PRJ_DIR)/../../../include/mba_utils/slist.h \
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
$(PRJ_DIR)/../../../include/tms/theory.h \
$(PRJ_DIR)/../../../include/conflict_db/conflict.h \
$(PRJ_DIR)/../../../include/conflict_db/assignable.h \
$(PRJ_DIR)/../../../include/conflict_db/variable.h \
$(PRJ_DIR)/../../../include/opsat/agenda_types.h
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../opsat/agenda_types.cpp_objects
agenda_types.o
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../opsat/agenda_types.cpp_tool
C/C++ compiler
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../opsat/cbfs_tracker.cpp_dependDone
TRUE
<END>
<BEGIN> FILE_$(PRJ_DIR)/../../opsat/cbfs_tracker.cpp_dependencies
$(PRJ_DIR)/../../../include/opsat/cbfs_tracker.h \
$(PRJ_DIR)/../../../include/livingstone/l2conf.h \
$(PRJ_DIR)/../../../include/livingstone/def_conf.h \
$(PRJ_DIR)/../../../include/mba_utils/slist.h \
$(PRJ_DIR)/../../../include/livingstone/L2_assert.h \
$(PRJ_DIR)/../../../include/mba_utils/MBA_string.h \
$(PRJ_DIR)/../../../include/mba_utils/pooled.h \
$(PRJ_DIR)/../../../include/mba_utils/array_allocator.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_item.h \
$(PRJ_DIR)/../../../include/mba_utils/slist_iterator.h \
$(PRJ_DIR)/../../../include/transition/tracker.h \
$(PRJ_DIR)/../../../include/transition/T_system.h \
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -