OKlibrary  0.2.1.6
ConstraintTemplateRewriteSystem.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 28.9.2008 (Swansea) */
00002 /* Copyright 2008, 2009, 2010 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00022 oklib_include("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/ConstraintTemplateRewriteSystem.mac")$
00023 oklib_include("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/tests/ConstraintTemplateRewriteSystem.mac")$
00024 
00025 
00026 /* ********************************************
00027    * Rewrite system functions                 *
00028    ********************************************
00029 */
00030 
00031 okltest_cstt_namespace_new(cstt_namespace_new);
00032 okltest_cstt_namespace_replace(cstt_namespace_replace);
00033 
00034 /****************************
00035  * Constraints              *
00036  ****************************
00037 */
00038 
00039 okltest_cstt_new(cstt_new);
00040 okltest_cstt_name(cstt_name);
00041 okltest_cstt_vars_l(cstt_vars_l);
00042 okltest_cstt_args_l(cstt_args_l);
00043 okltest_cstt_namespace_f(cstt_namespace_f);
00044 okltest_cstt_p(cstt_p);
00045 okltest_cstt_named_p(cstt_named_p);
00046 
00047 /********************************
00048  * Rewrite functions            *
00049  ********************************
00050 */
00051 
00052 okltest_rewrite_all_csttl(rewrite_all_csttl);
00053 okltest_rewrite_all_cstt_vars_l(rewrite_all_cstt_vars_l);
00054 
00055