SSPICE-package	SSPICE-package
build_DAG	build_DAG
cached_routing_check	cached_routing_check
calculate_hits	calculate_hits
check_logical_edits	check_logical_edits
correction_control	correction_control
correction_quality_report	correction_quality_report
correct_data	correct_data
count_admissible_patterns	count_admissible_patterns
create_adiacency_matrix	create_adiacency_matrix
create_logical_edit_variables	create_logical_edit_variables
extend_routing_with_logical_edits	extend_routing_with_logical_edits
find_isolated_nodes	find_isolated_nodes
find_longest_path	find_longest_path
generate_admissible_records	generate_admissible_records
inject_routing_violations	inject_routing_violations
localize_routing_violations	localize_routing_violations
prepare_data	prepare_data
print.sspice_dag	print.sspice_dag
print.sspice_prepared_data	print.sspice_prepared_data
routing_check	routing_check
SSPICE	SSPICE-package
validate_extended_elog	validate_extended_elog
validate_horn_theory	validate_horn_theory
validate_violation_localization	validate_violation_localization
