fn process_exp(self, exp: &Operation) -> PolarResult<Self> {
        use Operator::*;
        let args = &exp.args;
        match exp.operator {
            And => self.do_and(args),
            Dot if args.len() == 2 => Ok(self.do_dot(&args[0], &args[1])),
            Isa if args.len() == 2 => self.do_isa(&args[0], &args[1]),
            Neq if args.len() == 2 => self.do_neq(&args[0], &args[1]),
            In if args.len() == 2 => self.do_in(&args[0], &args[1]),
            Unify | Eq | Assign if args.len() == 2 => self.do_unify(&args[0], &args[1]),
            _ => df_unsupported_op(exp.clone()),
        }
    }
/// Process an expression in the context of this VarInfo. Just does side effects.
Process an expression in the context of this VarInfo. Just does side effects.
Process an expression in the context of this VarInfo . Just does side effects .
fn process_exp(self, exp: &Operation) -> PolarResult<Self> {
        use Operator::*;
        let args = &exp.args;
        match exp.operator {
            And => self.do_and(args),
            Dot if args.len() == 2 => Ok(self.do_dot(&args[0], &args[1])),
            Isa if args.len() == 2 => self.do_isa(&args[0], &args[1]),
            Neq if args.len() == 2 => self.do_neq(&args[0], &args[1]),
            In if args.len() == 2 => self.do_in(&args[0], &args[1]),
            Unify | Eq | Assign if args.len() == 2 => self.do_unify(&args[0], &args[1]),
            _ => df_unsupported_op(exp.clone()),
        }
    }
fn process_exp ( self , exp : & Operation ) -> PolarResult < Self > { use Operator :: * ; let args = & exp . args ; match exp . operator { And => self . do_and ( args ) , Dot if args . len ( ) == 2 => Ok ( self . do_dot ( & args [ 0 ] , & args [ 1 ] ) ) , Isa if args . len ( ) == 2 => self . do_isa ( & args [ 0 ] , & args [ 1 ] ) , Neq if args . len ( ) == 2 => self . do_neq ( & args [ 0 ] , & args [ 1 ] ) , In if args . len ( ) == 2 => self . do_in ( & args [ 0 ] , & args [ 1 ] ) , Unify | Eq | Assign if args . len ( ) == 2 => self . do_unify ( & args [ 0 ] , & args [ 1 ] ) , _ => df_unsupported_op ( exp . clone ( ) ) , } }
Process an expression in the context of this VarInfo.
Process an expression in the context of this VarInfo .
self
exp
&Operation
self
exp
&Operation