KeccakTools
Public Member Functions | Public Attributes | Friends

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

SymbolicLane & SymbolicLane::operator^= ( const SymbolicLane &  b)
void SymbolicLane::ROL ( int  offset,
unsigned int  laneLength 
)

Friends And Related Function Documentation

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

Member Data Documentation

vector<SymbolicBit> SymbolicLane::values
The documentation for this class was generated from the following files: