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
|
// 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 _GenMult_H_
#define _GenMult_H_
#include "Word.h"
#include "Set.h"
#include "Vector.h"
#include "FSA.h"
#include "DFSA.h"
#include "GenMultRep.h"
class GenMult : public FSA {
// this should surely be derived from DFSA but I can't get the
// constructor to work except by doing this
public:
GenMult( ) : FSA( new GenMultRep() ) { };
GenMult( const VectorOf<Chars> & genNames ) :
FSA( new GenMultRep( genNames) ) { }
GenMult( const VectorOf<Chars> & genNames, const WordOrder & word_order) :
FSA( new GenMultRep( genNames,word_order) ) { }
protected:
// Need to shadow inherited look() and change(), to get right ptr types.
const GenMultRep *look() const {
return (GenMultRep*)FSA::look(); }
GenMultRep *change() {
return (GenMultRep*)FSA::change(); }
};
#endif
|
