translator_vm Directory Reference

Files
file	goblin_translator_relation_consistency.test.cpp
	Show that relation arithmetic has a simple form.
file	translator_decomposition_relation.hpp [code]
file	translator_extra_relations.hpp [code]
file	translator_gen_perm_sort_relation.hpp [code]
file	translator_non_native_field_relation.hpp [code]
file	translator_permutation_relation.hpp [code]