This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
any2stringadd[Reduction[P1, P2, S1, S2]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
ArrowAssoc[Reduction[P1, P2, S1, S2]] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
Ensuring[Reduction[P1, P2, S1, S2]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
Ensuring[Reduction[P1, P2, S1, S2]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
Ensuring[Reduction[P1, P2, S1, S2]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
Ensuring[Reduction[P1, P2, S1, S2]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
StringFormat[Reduction[P1, P2, S1, S2]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from Reduction[P1, P2, S1, S2] to
ArrowAssoc[Reduction[P1, P2, S1, S2]] performed by method ArrowAssoc in scala.Predef.
Represents a reduction of a problem together with a back-translation of the solutions.
A problem P1 is reduced to a problem P2, a solution S2 to the problem P2 can then be translated back to a solution S1 of the problem P1.