fn rename_rule_vars(&self, rule: &Rule) -> Rule {
        let kb = &*self.kb.read().unwrap();
        let mut renamer = Renamer::new(&kb);
        renamer.fold_rule(rule.clone())
    }
/// Generate a fresh set of variables for a rule.
Generate a fresh set of variables for a rule.
Generate a fresh set of variables for a rule .
fn rename_rule_vars(&self, rule: &Rule) -> Rule {
        let kb = &*self.kb.read().unwrap();
        let mut renamer = Renamer::new(&kb);
        renamer.fold_rule(rule.clone())
    }
fn rename_rule_vars ( & self , rule : & Rule ) -> Rule { let kb = & * self . kb . read ( ) . unwrap ( ) ; let mut renamer = Renamer :: new ( & kb ) ; renamer . fold_rule ( rule . clone ( ) ) }
Generate a fresh set of variables for a rule.
Generate a fresh set of variables for a rule .
&self
rule
&Rule