groupEquality.h

Go to the documentation of this file.

#pragma once

#include "circuitTree.h"
#include <vector>
#include <unordered_map>
#include <set>

namespace groupEquality {
    typedef std::vector<std::vector<CircuitTree*> > SigSplit;
    typedef std::unordered_map<sign_t, std::set<CircuitTree*> > SigSplitMapped;

    class TooManyPermutations : public std::exception {};

    class Permutation {
        public:
            typedef std::vector<int> PermElem;

            Permutation(const SigSplit& split);
            const PermElem& operator[](sign_t index) const;

            bool next();

        private:
            typedef std::vector<PermElem> PermStruct;

            void mkIdentity(std::vector<int>& vect);
            inline PermStruct::iterator lastIter();

            PermStruct perms;
            PermStruct::iterator nextChange;
    };

    int factorial(int k);

    sign_t wireSignature(WireId* wire, int accuracy = -1);

    void splitOnSig(const std::vector<CircuitTree*> circuits,
            SigSplit& splitted,
            std::vector<sign_t>& signatures,
            int maxPermutations = -1,
            int accuracy = -1);

    bool equalSizes(
            const SigSplit& fst,
            const SigSplit& snd);

    bool equalWithPermutation(
            const SigSplit& leftSplit, const SigSplit& rightSplit,
            const Permutation& perm);

    bool equal(CircuitGroup* left, CircuitGroup* right);
}