toy_avm Directory Reference

Files
file	generic_permutation_relation.hpp [code]
	This file contains the template for the generic permutation that can be specialized to enforce various permutations (for explanation on how to define them, see "relation_definer.hpp")
file	relation_definer.hpp [code]
	This file contains settings for the General Permutation Relation implementations and (in the future) Lookup implementations.