initial
[prop.git] / include / AD / rewrite / complete.h
blobe5c8f30258562990342f458588f1bfa76aeca6b1
1 //////////////////////////////////////////////////////////////////////////////
2 // NOTICE:
3 //
4 // ADLib, Prop and their related set of tools and documentation are in the
5 // public domain. The author(s) of this software reserve no copyrights on
6 // the source code and any code generated using the tools. You are encouraged
7 // to use ADLib and Prop to develop software, in both academic and commercial
8 // settings, and are free to incorporate any part of ADLib and Prop into
9 // your programs.
11 // Although you are under no obligation to do so, we strongly recommend that
12 // you give away all software developed using our tools.
14 // We also ask that credit be given to us when ADLib and/or Prop are used in
15 // your programs, and that this notice be preserved intact in all the source
16 // code.
18 // This software is still under development and we welcome any suggestions
19 // and help from the users.
21 // Allen Leung
22 // 1994
23 //////////////////////////////////////////////////////////////////////////////
25 #ifndef Knuth_Bendix_completion_h
26 #define Knuth_Bendix_completion_h
29 // Knuth-Bendix completion attempts to construct a convergent rewriting
30 // system from a finite set of rewrite rules.
33 #include <AD/generic/generic.h>
35 class KnuthBendix {
37 KnuthBendix(const KnuthBendix&); // no copy constructor
38 void operator = (const KnuthBendix&); // no assigment
40 public:
42 KnuthBendix();
43 virtual ~KnuthBendix() {}
47 #endif