translator_vm Directory Reference

Files
	translator_decomposition_relation.hpp
	translator_decomposition_relation_1.cpp
	translator_decomposition_relation_2.cpp
	translator_decomposition_relation_impl.hpp
	translator_delta_range_constraint_relation.cpp
	translator_delta_range_constraint_relation.hpp
	translator_delta_range_constraint_relation_impl.hpp
	translator_extra_relations.cpp
	translator_extra_relations.hpp
	translator_extra_relations_impl.hpp
	translator_non_native_field_relation.cpp
	translator_non_native_field_relation.hpp
	translator_non_native_field_relation_impl.hpp
	translator_permutation_relation.cpp
	translator_permutation_relation.hpp
	translator_permutation_relation_impl.hpp
	translator_relation_consistency.test.cpp
	Show that relation arithmetic has a simple form.