feat(pyargus): add temporal operators to bindings

pyargus/Cargo.toml

@@ -3,12 +3,12 @@ name = "pyargus"
 version = "0.1.0"
 edition = "2021"
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 [lib]
 name = "pyargus"
 crate-type = ["cdylib"]
 
 [dependencies]
 argus-core = { version = "0.1.0", path = "../argus-core" }
+argus-semantics = { version = "0.1.0", path = "../argus-semantics" }
 derive_more = "0.99.17"
 pyo3 = "0.18.1"

pyargus/src/lib.rs

@@ -318,6 +318,55 @@ impl Or {
     }
 }
 
+#[pyclass(extends=PyBoolExpr)]
+struct Next;
+
+#[pymethods]
+impl Next {
+    #[new]
+    fn new(arg: PyBoolExpr) -> (Self, PyBoolExpr) {
+        let arg = arg.0;
+        (Self, PyBoolExpr(Box::new(BoolExpr::Next { arg })))
+    }
+}
+
+#[pyclass(extends=PyBoolExpr)]
+struct Always;
+
+#[pymethods]
+impl Always {
+    #[new]
+    fn new(arg: PyBoolExpr) -> (Self, PyBoolExpr) {
+        let arg = arg.0;
+        (Self, PyBoolExpr(Box::new(BoolExpr::Always { arg })))
+    }
+}
+
+#[pyclass(extends=PyBoolExpr)]
+struct Eventually;
+
+#[pymethods]
+impl Eventually {
+    #[new]
+    fn new(arg: PyBoolExpr) -> (Self, PyBoolExpr) {
+        let arg = arg.0;
+        (Self, PyBoolExpr(Box::new(BoolExpr::Eventually { arg })))
+    }
+}
+
+#[pyclass(extends=PyBoolExpr)]
+struct Until;
+
+#[pymethods]
+impl Until {
+    #[new]
+    fn new(lhs: PyBoolExpr, rhs: PyBoolExpr) -> (Self, PyBoolExpr) {
+        let lhs = lhs.0;
+        let rhs = rhs.0;
+        (Self, PyBoolExpr(Box::new(BoolExpr::Until { lhs, rhs })))
+    }
+}
+
 #[pymodule]
 #[pyo3(name = "_argus")]
 fn pyargus(_py: Python, m: &PyModule) -> PyResult<()> {
@@ -340,6 +389,10 @@ fn pyargus(_py: Python, m: &PyModule) -> PyResult<()> {
     m.add_class::<Not>()?;
     m.add_class::<And>()?;
     m.add_class::<Or>()?;
+    m.add_class::<Next>()?;
+    m.add_class::<Always>()?;
+    m.add_class::<Eventually>()?;
+    m.add_class::<Until>()?;
 
     Ok(())
 }