feat: ToffoliBox encoding

src/circuit_json.rs

@@ -192,6 +192,17 @@ pub enum OpBox {
         #[serde(default = "default_impl_diag")]
         impl_diag: bool,
     },
+    /// An operation that constructs a circuit to implement the specified
+    /// permutation of classical basis states.
+    ToffoliBox {
+        id: BoxID,
+        /// The classical basis state permutation.
+        permutation: Permutation,
+        strat: ToffoliBoxSynthStrat,
+        #[serde(skip_serializing_if = "Option::is_none")]
+        #[serde(default)]
+        rotation_axis: Option<OpType>,
+    },
 }
 
 fn default_impl_diag() -> bool {
@@ -280,3 +291,13 @@ impl<P> Operation<P> {
         }
     }
 }
+
+/// Strategies for synthesising ToffoliBoxes.
+#[derive(Deserialize, Serialize, Clone, Debug, PartialEq)]
+#[non_exhaustive]
+pub enum ToffoliBoxSynthStrat {
+    /// Use multiplexors to perform parallel swaps on hypercubes.
+    Matching,
+    /// Use CnX gates to perform transpositions.
+    Cycle,
+}

src/optype.rs

@@ -418,6 +418,9 @@ pub enum OpType {
 
     /// See \ref MultiplexedU2Box
     MultiplexedU2Box,
+
+    /// See \ref ToffoliBox
+    ToffoliBox,
 }
 
 #[cfg(feature = "pyo3")]