fixup! feat(capi): expose <enc>_reserve

chrjabs · Nov 27, 2024 · 63a8bb7 · 63a8bb7
1 parent 8db3365
commit 63a8bb7
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/capi/rustsat.h b/capi/rustsat.h
@@ -245,7 +245,7 @@ struct DynamicPolyWatchdog *dpw_new(void);
 size_t dpw_next_precision(struct DynamicPolyWatchdog *dpw);
 
 /**
- * Reserves all auxilliary variables that the encoding might need
+ * Reserves all auxiliary variables that the encoding might need
  *
  * All calls to [`dpw_encode_ub`] following a call to this function are guaranteed to not increase
  * the value of `n_vars_used`. This does _not_ hold if [`dpw_add`] is called in between
@@ -352,7 +352,7 @@ enum MaybeError gte_enforce_ub(struct DbGte *gte,
 struct DbGte *gte_new(void);
 
 /**
- * Reserves all auxilliary variables that the encoding might need
+ * Reserves all auxiliary variables that the encoding might need
  *
  * All calls to [`gte_encode_ub`] following a call to this function are guaranteed to not increase
  * the value of `n_vars_used`. This does _not_ hold if [`gte_add`] is called in between
@@ -437,7 +437,7 @@ enum MaybeError tot_enforce_ub(struct DbTotalizer *tot, size_t ub, int *assump);
 struct DbTotalizer *tot_new(void);
 
 /**
- * Reserves all auxilliary variables that the encoding might need
+ * Reserves all auxiliary variables that the encoding might need
  *
  * All calls to [`tot_encode_ub`] following a call to this function are guaranteed to not increase
  * the value of `n_vars_used`. This does _not_ hold if [`tot_add`] is called in between

diff --git a/capi/src/encodings/dpw.rs b/capi/src/encodings/dpw.rs
@@ -207,7 +207,7 @@ pub unsafe extern "C" fn dpw_limit_range(
         .expect("clause collector returned out of memory");
 }
 
-/// Reserves all auxilliary variables that the encoding might need
+/// Reserves all auxiliary variables that the encoding might need
 ///
 /// All calls to [`dpw_encode_ub`] following a call to this function are guaranteed to not increase
 /// the value of `n_vars_used`. This does _not_ hold if [`dpw_add`] is called in between

diff --git a/capi/src/encodings/gte.rs b/capi/src/encodings/gte.rs
@@ -99,7 +99,7 @@ pub unsafe extern "C" fn gte_enforce_ub(
     }
 }
 
-/// Reserves all auxilliary variables that the encoding might need
+/// Reserves all auxiliary variables that the encoding might need
 ///
 /// All calls to [`gte_encode_ub`] following a call to this function are guaranteed to not increase
 /// the value of `n_vars_used`. This does _not_ hold if [`gte_add`] is called in between

diff --git a/capi/src/encodings/totalizer.rs b/capi/src/encodings/totalizer.rs
@@ -98,7 +98,7 @@ pub unsafe extern "C" fn tot_enforce_ub(
     }
 }
 
-/// Reserves all auxilliary variables that the encoding might need
+/// Reserves all auxiliary variables that the encoding might need
 ///
 /// All calls to [`tot_encode_ub`] following a call to this function are guaranteed to not increase
 /// the value of `n_vars_used`. This does _not_ hold if [`tot_add`] is called in between