Method join

src/analysis/numerical/linear_constraint.rs:613–619

(&self, csts: LinearConstraintSystem)

    }

    pub fn join(&self, csts: LinearConstraintSystem) -> Self {
        let mut result = Self::default();
        for cst in csts {
            result.add(cst);
        }
        result
    }

    pub fn size(&self) -> usize {
        self.csts.len()