Lines Matching refs:getDivisor
369 return new MultiplierSubstitution(pos, rule->getDivisor(), ruleSet,399 return new ModulusSubstitution(pos, rule->getDivisor(), predecessor,
