1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
// Copyright (C) 1994 The New York Group Theory Cooperative
// See magnus/doc/COPYRIGHT for the full notice.
// Contents: The deterministic finite state automaton class
//
// Principal Author: Sarah Rees
//
// Status: in progress
//
// Revision History:
//
#ifndef _KBMachine_H_
#define _KBMachine_H_
#include <Integer.h>
#include "Vector.h"
#include "FSA.h"
#include "DFSA.h"
#include "KBMachineRep.h"
class RKBPackage;
class KBMachine : public FSA {
// this should surely be derived from GroupDFSA but I can't get the
// constructor to work except by doing this
friend class RKBPackage;
public:
KBMachine( ) : FSA( new KBMachineRep() ) { }
KBMachine( const VectorOf<Chars> & genNames ) :
FSA( new KBMachineRep( genNames ) ) { }
KBMachine( const VectorOf<Chars> & genNames,const WordOrder & word_order ) :
FSA( new KBMachineRep( genNames,word_order) ) { }
KBMachine( const VectorOf<Chars> & genNames,const WordOrder & word_order,
int numOfRules) :
FSA( new KBMachineRep( genNames,word_order,numOfRules) ) { }
KBMachine( const VectorOf<Chars> & genNames,const WordOrder & word_order,
int numOfRules, int numOfStates) :
FSA( new KBMachineRep( genNames,numOfRules,numOfStates) ) { }
void oldFormatPrintOn(ostream & str=cout) const { look()->oldFormatPrintOn(str); }
// for use with old code, which should one day be updated.
Bool rewrite(Word & w) const { return look()->rewrite(w); }
//Bool finiteLanguage() const { return look()->finiteLanguage(); }
//Integer sizeLanguage() const { return look()->sizeLanguage(); }
protected:
KBMachine( KBMachineRep * rep ) : FSA((FSARep *)rep) { }
// Need to shadow inherited look() and change(), to get right ptr types.
const KBMachineRep *look() const {
return (KBMachineRep*)FSA::look(); }
KBMachineRep *change() {
return (KBMachineRep*)FSA::change(); }
};
#endif
|
