KeccakTools

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)
SymbolicLaneoperator^= (const SymbolicLane &b)

Public Attributes

vector< SymbolicBitvalues

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


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