SymbolicLane Class Reference

#include <Keccak-fEquations.h>

List of all members.

Public Member Functions
	SymbolicLane ()
	SymbolicLane (LaneValue aValues)
	SymbolicLane (unsigned int laneLength, const string &prefixSymbol)
void	ROL (int offset, unsigned int laneLength)
SymbolicLane &	operator^= (const SymbolicLane &b)
Public Attributes
vector< SymbolicBit >	values
Friends
SymbolicLane	operator~ (const SymbolicLane &lane)
SymbolicLane	operator^ (const SymbolicLane &a, LaneValue b)
SymbolicLane	operator^ (const SymbolicLane &a, const SymbolicLane &b)
SymbolicLane	operator & (const SymbolicLane &a, const SymbolicLane &b)

---

Detailed Description

Class implementing a vector of symbolic bits to represent a symbolic lane.

---

Constructor & Destructor Documentation

SymbolicLane::SymbolicLane

(

)

SymbolicLane::SymbolicLane

(

LaneValue

aValues

)

SymbolicLane::SymbolicLane	(	unsigned int	laneLength,
		const string &	prefixSymbol
	)

---

Member Function Documentation

void SymbolicLane::ROL	(	int	offset,
		unsigned int	laneLength
	)

SymbolicLane & SymbolicLane::operator^=

(

const SymbolicLane &

b

)

---

Friends And Related Function Documentation

SymbolicLane operator~

(

const SymbolicLane &

lane

)

[friend]

SymbolicLane operator^	(	const SymbolicLane &	a,
		LaneValue	b
	)			[friend]

SymbolicLane operator^	(	const SymbolicLane &	a,
		const SymbolicLane &	b
	)			[friend]

SymbolicLane operator &	(	const SymbolicLane &	a,
		const SymbolicLane &	b
	)			[friend]

---

Member Data Documentation

vector<SymbolicBit> SymbolicLane::values

---

The documentation for this class was generated from the following files:

• Keccak-fEquations.h
• Keccak-fEquations.cpp