coxeter/interactive.h at master · tscrim/coxeter · GitHub

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
62
63
64
65
66
67
68
69
70
71
72
/*
  This is interactive.h

  Coxeter version 3.0 Copyright (C) 2002 Fokko du Cloux
  See file main.cpp for full copyright notice
*/

#ifndef INTERACTIVE_H  /* guard against multiple inclusions */
#define INTERACTIVE_H

#include "globals.h"
#include "bits.h"
#include "coxtypes.h"
#include "coxgroup.h"
#include "graph.h"
#include "interface.h"
#include "transducer.h"
#include "type.h"

namespace interactive {

/******** type declarations *************************************************/

  class OutputFile;

  using namespace bits;
  using namespace coxeter;
  using namespace coxtypes;
  using namespace graph;
  using namespace interface;
  using namespace transducer;

/******** function declarations **********************************************/

  CoxGroup* allocCoxGroup();
  CoxGroup* allocCoxGroup(const Type& x);
  void changeOrdering(CoxGroup *W, Permutation& order);
  CoxGroup* coxeterGroup(const Type& x, const Rank& l);
  int endOfLine(FILE *f);
  const Type& getType();
  CoxEntry getCoxEntry(const Rank& i, const Rank& j);
  CoxArr& getCoxArr(Transducer& T) /* not implemented */;
  CoxNbr& getCoxNbr(Transducer& T) /* not implemented */;
  const CoxWord& getCoxWord(CoxGroup *W);
  Generator getGenerator(CoxGroup *W);
  Generator getGenerator(CoxGroup *W, const LFlags& f);
  void getLength(List<Length>& L, const CoxGraph& G, const Interface& I);
  Rank getRank(const Type& type);
  void printInterface(FILE* file, const GroupEltInterface& GI,
			const Permutation& a);
  void printInterface(FILE* file, const GroupEltInterface& GI,
		      const GroupEltInterface& WI, const Permutation& a);
  void printMatrix(FILE *file, const CoxGroup* W);
  void printOrdering(FILE* file, const CoxGroup* W);
  void printRepresentation(FILE *file, const CoxGroup* W);
  CoxEntry readCoxEntry(const Rank& i, const Rank& j, FILE *inputfile);
  bool yesNo();

/* type definitions */

class OutputFile {
 private:
  FILE* d_file;
 public:
  OutputFile();
  ~OutputFile();
  FILE* f() {return d_file;}
};

};

#endif