KeccakTools
|
#include <Keccak-fEquations.h>
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) |
Class implementing a vector of symbolic bits to represent a symbolic lane.
SymbolicLane::SymbolicLane | ( | ) |
SymbolicLane::SymbolicLane | ( | LaneValue | aValues | ) |
SymbolicLane::SymbolicLane | ( | unsigned int | laneLength, |
const string & | prefixSymbol | ||
) |
SymbolicLane & SymbolicLane::operator^= | ( | const SymbolicLane & | b | ) |
void SymbolicLane::ROL | ( | int | offset, |
unsigned int | laneLength | ||
) |
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] |
vector<SymbolicBit> SymbolicLane::values |