StraightLineProgramWord::Assertion Struct Reference

Structure used in function equal() only. More...

List of all members.

Public Member Functions
	Assertion (bool b, int v1, int v2, LongInteger l)
bool	operator< (const Assertion &A) const
bool	similar (const Assertion &A) const
Public Attributes
bool	theBase1
	true if and only if the vertex 1 comes from the first SLP
int	theVertex1
	the number of the vertex 1
int	theVertex2
	the number of the vertex 2
LongInteger	theLength
	shift in theVertex 1
Friends
ostream &	operator<< (ostream &os, const Assertion &A)

---

Detailed Description

Structure used in function equal() only.

This structure is used for comparison of 2 straight line program words (as elements of a semigroup). theVertex1 is a number of a vertex in the first graph, theVertex2 is a number of a vertex in the second graph, theBase1 is true if theVertex1 is a base vertex, theLength is the distance between the vertices.

Definition at line 86 of file StraightLineProgramWord.h.

---

Constructor & Destructor Documentation

StraightLineProgramWord::Assertion::Assertion	(	bool	b,
		int	v1,
		int	v2,
		LongInteger	l
	)			[inline]

Definition at line 88 of file StraightLineProgramWord.h.

---

Member Function Documentation

bool StraightLineProgramWord::Assertion::operator<

(

const Assertion &

A

)

const [inline]

Definition at line 90 of file StraightLineProgramWord.h.

References theBase1, theLength, theVertex1, and theVertex2.

bool StraightLineProgramWord::Assertion::similar

(

const Assertion &

A

)

const [inline]

Definition at line 108 of file StraightLineProgramWord.h.

References theBase1, theVertex1, and theVertex2.

---

Friends And Related Function Documentation

ostream& operator<<	(	ostream &	os,
		const Assertion &	A
	)			[friend]

Definition at line 112 of file StraightLineProgramWord.h.

---

Member Data Documentation

bool StraightLineProgramWord::Assertion::theBase1

true if and only if the vertex 1 comes from the first SLP

Definition at line 118 of file StraightLineProgramWord.h.

Referenced by operator<(), and similar().

LongInteger StraightLineProgramWord::Assertion::theLength

shift in theVertex 1

Definition at line 127 of file StraightLineProgramWord.h.

Referenced by operator<().

int StraightLineProgramWord::Assertion::theVertex1

the number of the vertex 1

Definition at line 121 of file StraightLineProgramWord.h.

Referenced by operator<(), and similar().

int StraightLineProgramWord::Assertion::theVertex2

the number of the vertex 2

Definition at line 124 of file StraightLineProgramWord.h.

Referenced by operator<(), and similar().

---

The documentation for this struct was generated from the following file:

• FreeGroup/include/StraightLineProgramWord.h