pub fn match_i(&self, c0: &Clause) -> bool {
    for i in 0 .. MAXIND {
      let x = self.xs[i];
      let y = c0.xs[i];
      if (0 == x) || (0 == y) {
        continue;
      }
      if x != y {
        return false;
      }
    }
    true
  }
/**
  * tests if the head of a clause, not yet copied to the heap
  * for execution could possibly match the current goal, an
  * abstraction of which has been place in regs
  */
tests if the head of a clause, not yet copied to the heap
for execution could possibly match the current goal, an
abstraction of which has been place in regs
tests if the head of a clause not yet copied to the heap for execution could possibly match the current goal an abstraction of which has been place in regs
pub fn match_i(&self, c0: &Clause) -> bool {
    for i in 0 .. MAXIND {
      let x = self.xs[i];
      let y = c0.xs[i];
      if (0 == x) || (0 == y) {
        continue;
      }
      if x != y {
        return false;
      }
    }
    true
  }
pub fn match_i ( & self , c0 : & Clause ) -> bool { for i in 0 .. MAXIND { let x = self . xs [ i ] ; let y = c0 . xs [ i ] ; if ( 0 == x ) || ( 0 == y ) { continue ; } if x != y { return false ; } } true }
tests if the head of a clause, not yet copied to the heap
 for execution could possibly match the current goal, an
 abstraction of which has been place in regs
tests if the head of a clause not yet copied to the heap for execution could possibly match the current goal an abstraction of which has been place in regs
&self
c0
&Clause
&self
c0
&Clause