public AtomIterator(AtomList atomList) { this.listSize = atomList.size(); this.kReSRuleAtoms = new RuleAtom[listSize]; this.kReSRuleAtoms = atomList.toArray(this.kReSRuleAtoms); this.currentIndex = 0; }
public AtomIterator(AtomList atomList) { this.listSize = atomList.size(); this.kReSRuleAtoms = new RuleAtom[listSize]; this.kReSRuleAtoms = atomList.toArray(this.kReSRuleAtoms); this.currentIndex = 0; }