From f160761cf982b62ff9ac714273b34e2c466c47dd Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 22 Mar 2018 14:15:40 -0600 Subject: [PATCH] eliminating double counting for call_with_inference_limit. --- src/prolog/machine/machine_state.rs | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs index 6df9bd36..c27cbb93 100644 --- a/src/prolog/machine/machine_state.rs +++ b/src/prolog/machine/machine_state.rs @@ -613,22 +613,6 @@ impl CallWithInferenceLimitCallPolicy { } impl CallPolicy for CallWithInferenceLimitCallPolicy { - fn try_call<'a>(&mut self, machine_st: &mut MachineState, code_dirs: CodeDirs<'a>, - name: ClauseName, arity: usize) - -> CallResult - { - self.prev_policy.try_call(machine_st, code_dirs, name, arity)?; - self.increment() - } - - fn try_execute<'a>(&mut self, machine_st: &mut MachineState, code_dirs: CodeDirs<'a>, - name: ClauseName, arity: usize) - -> CallResult - { - self.prev_policy.try_execute(machine_st, code_dirs, name, arity)?; - self.increment() - } - fn retry_me_else(&mut self, machine_st: &mut MachineState, offset: usize) -> CallResult { self.prev_policy.retry_me_else(machine_st, offset)?; -- 2.54.0