StraightLineProgramWord.h File Reference

#include "map"
#include "list"
#include "gmpxx.h"
#include "Map.h"

Go to the source code of this file.

Classes
class	StraightLineProgramWord
	class StraightLineProgramWord. More...
struct	StraightLineProgramWord::Production
	A production for a rule of a composition system. More...
struct	StraightLineProgramWord::Assertion
	Structure used in function equal() only. More...
Typedefs
typedef mpz_class	LongInteger

---

Typedef Documentation

typedef mpz_class LongInteger

Definition at line 20 of file StraightLineProgramWord.h.