accumulate(ContainerOverSubrelations &accumulator, const AllEntities &in, const Parameters ¶ms, const FF &scaling_factor) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
compute_inverse_exists(const AllEntities &in) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
compute_read_term(const AllEntities &in, const Parameters ¶ms) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
compute_read_term_predicate(const AllEntities &in) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
compute_write_term(const AllEntities &in, const Parameters ¶ms) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
compute_write_term_predicate(const AllEntities &in) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
FF typedef | bb::GenericPermutationRelationImpl< Settings, FF_ > | |
get_inverse_polynomial(AllEntities &in) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
LENGTH | bb::GenericPermutationRelationImpl< Settings, FF_ > | static |
operation_exists_at_row(const AllValues &row) | bb::GenericPermutationRelationImpl< Settings, FF_ > | inlinestatic |
READ_TERMS | bb::GenericPermutationRelationImpl< Settings, FF_ > | static |
SUBRELATION_LINEARLY_INDEPENDENT | bb::GenericPermutationRelationImpl< Settings, FF_ > | static |
SUBRELATION_PARTIAL_LENGTHS | bb::GenericPermutationRelationImpl< Settings, FF_ > | static |
WRITE_TERMS | bb::GenericPermutationRelationImpl< Settings, FF_ > | static |