fn add_constraint(&mut self, op: Operation) -> PolarResult<()> {
        match op.args.len() {
            1 => self.add_constraint_1(op),
            2 => self.add_constraint_2(op),
            _ => df_unsupported_op(op),
        }
    }
/// Digest a conjunct from the partial results & add a new constraint.
Digest a conjunct from the partial results & add a new constraint.
Digest a conjunct from the partial results & add a new constraint .
fn add_constraint(&mut self, op: Operation) -> PolarResult<()> {
        match op.args.len() {
            1 => self.add_constraint_1(op),
            2 => self.add_constraint_2(op),
            _ => df_unsupported_op(op),
        }
    }
fn add_constraint ( & mut self , op : Operation ) -> PolarResult < ( ) > { match op . args . len ( ) { 1 => self . add_constraint_1 ( op ) , 2 => self . add_constraint_2 ( op ) , _ => df_unsupported_op ( op ) , } }
Digest a conjunct from the partial results & add a new constraint.
Digest a conjunct from the partial results & add a new constraint .
&mut self
op
Operation
&mut self
op
Operation