transition-system → irep2 Relation

File in src/transition-system	Includes file in src/irep2
transition_system.cpp	irep2_utils.h
transition_system.h	irep2.h
ts_engines.cpp	irep2_utils.h
ts_extraction.cpp	irep2_utils.h
ts_slice.cpp	irep2_utils.h