groupEquality.cpp File Reference

#include "groupEquality.h"
#include "debug.h"
#include <algorithm>
#include <map>
#include "circuitGroup.h"

Namespaces
	groupEquality

Functions
int	groupEquality::factorial (int k)
	Computes k! More...
sign_t	groupEquality::wireSignature (WireId *wire, int accuracy=-1)
	Computes the signature of a wire with given accuracy. More...
void	groupEquality::splitOnSig (const vector< CircuitTree *> circuits, SigSplit &splitted, std::vector< sign_t > &signatures, int maxPermutations, int accuracy)
bool	groupEquality::equalSizes (const SigSplit &fst, const SigSplit &snd)
bool	groupEquality::equalWithPermutation (const SigSplit &leftSplit, const SigSplit &rightSplit, const Permutation &perm)
bool	groupEquality::equal (CircuitGroup *left, CircuitGroup *right)