StraightLineProgramWord::Production Struct Reference

A production for a rule of a composition system. More...

List of all members.

Public Member Functions

 Production (int t1=0, int t2=0, LongInteger l=0, int h=0)

Public Attributes

int theTerm1
int theTerm2
LongInteger theLength
int theHeight
bool reduced

Detailed Description

A production for a rule of a composition system.

Each rule of a composition system is of the form $X_i \rightarrow X_j^{\pm 1} \cdot X_k^{\pm 1}$ or $X_i \rightarrow X_j^{\pm 1}$. If $j$ or $k$ is zero then that part does not exist.

Definition at line 62 of file StraightLineProgramWord.h.


Constructor & Destructor Documentation

StraightLineProgramWord::Production::Production ( int  t1 = 0,
int  t2 = 0,
LongInteger  l = 0,
int  h = 0 
) [inline]

Definition at line 64 of file StraightLineProgramWord.h.


Member Data Documentation

Definition at line 76 of file StraightLineProgramWord.h.

Definition at line 75 of file StraightLineProgramWord.h.

Definition at line 74 of file StraightLineProgramWord.h.

Definition at line 72 of file StraightLineProgramWord.h.

Definition at line 73 of file StraightLineProgramWord.h.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on Mon Sep 26 18:43:50 2011 for CRyptography And Groups (CRAG) by  doxygen 1.6.1