Witnesses Namespace Reference

Classes
struct	Helpers
struct	StackItem
struct	Witness
struct	WitnessMap
struct	WitnessStack

Functions
bool	operator== (const StackItem &lhs, const StackItem &rhs)
bool	operator== (const Witness &lhs, const Witness &rhs)
bool	operator== (const WitnessMap &lhs, const WitnessMap &rhs)
bool	operator== (const WitnessStack &lhs, const WitnessStack &rhs)

Function Documentation

operator==() [1/4]

bool Witnesses::operator== ( const StackItem &  lhs, const StackItem &  rhs  )

inline

Definition at line 146 of file witness_stack.hpp.

operator==() [2/4]

bool Witnesses::operator== ( const Witness &  lhs, const Witness &  rhs  )

inline

Definition at line 200 of file witness_stack.hpp.

operator==() [3/4]

bool Witnesses::operator== ( const WitnessMap &  lhs, const WitnessMap &  rhs  )

inline

Definition at line 249 of file witness_stack.hpp.

operator==() [4/4]

bool Witnesses::operator== ( const WitnessStack &  lhs, const WitnessStack &  rhs  )

inline

Definition at line 298 of file witness_stack.hpp.