fn visit_entailment(&self, rel: EntailmentRel, is_monotonic: Option<bool>, model: CausalModel) -> CausalModel {
    let (l, r) =
      match is_monotonic {
        None => (None, None),
        Some(true) => (Some(true), Some(false)),
        Some(false) => (Some(false), Some(true))
      };
    let m1 = self.visit_expr(rel.left, l, model.clone());
    let m2 = self.visit_expr(rel.right, r, model);
    m1.join_constraints(m2)
  }
/// The sub-expressions of the entailment are quite limited:
/// By the analysis E0026 and E0027 host functions, write and readwrite are forbidden.
/// Therefore, there is no need to generate sequential constraints between the left and right sides.
The sub-expressions of the entailment are quite limited:
By the analysis E0026 and E0027 host functions, write and readwrite are forbidden.
Therefore, there is no need to generate sequential constraints between the left and right sides.
The sub - expressions of the entailment are quite limited : By the analysis E0026 and E0027 host functions write and readwrite are forbidden . Therefore there is no need to generate sequential constraints between the left and right sides .
fn visit_entailment(&self, rel: EntailmentRel, is_monotonic: Option<bool>, model: CausalModel) -> CausalModel {
    let (l, r) =
      match is_monotonic {
        None => (None, None),
        Some(true) => (Some(true), Some(false)),
        Some(false) => (Some(false), Some(true))
      };
    let m1 = self.visit_expr(rel.left, l, model.clone());
    let m2 = self.visit_expr(rel.right, r, model);
    m1.join_constraints(m2)
  }
fn visit_entailment ( & self , rel : EntailmentRel , is_monotonic : Option < bool > , model : CausalModel ) -> CausalModel { let ( l , r ) = match is_monotonic { None => ( None , None ) , Some ( true ) => ( Some ( true ) , Some ( false ) ) , Some ( false ) => ( Some ( false ) , Some ( true ) ) } ; let m1 = self . visit_expr ( rel . left , l , model . clone ( ) ) ; let m2 = self . visit_expr ( rel . right , r , model ) ; m1 . join_constraints ( m2 ) }
The sub-expressions of the entailment are quite limited:
By the analysis E0026 and E0027 host functions, write and readwrite are forbidden.
The sub - expressions of the entailment are quite limited : By the analysis E0026 and E0027 host functions write and readwrite are forbidden .
&self
rel
EntailmentRel
is_monotonic
Option<bool>
model
CausalModel
&self
rel
EntailmentRel
is_monotonic
Option<bool>
model
CausalModel