Add public new method to ConditionalDatabase

pindakaashq · May 6, 2024 · d5c43e1 · d5c43e1
1 parent 3a97525
commit d5c43e1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/crates/pindakaas/src/lib.rs b/crates/pindakaas/src/lib.rs
@@ -326,6 +326,11 @@ pub struct ConditionalDatabase<'a, DB: ClauseDatabase + ?Sized> {
 	db: &'a mut DB,
 	conditions: Vec<Lit>,
 }
+impl<'a, DB: ClauseDatabase + ?Sized> ConditionalDatabase<'a, DB> {
+	pub fn new(db: &'a mut DB, conditions: Vec<Lit>) -> Self {
+		Self { db, conditions }
+	}
+}
 impl<'a, DB: ClauseDatabase + ?Sized> ClauseDatabase for ConditionalDatabase<'a, DB> {
 	fn new_var(&mut self) -> Var {
 		self.db.new_var()