Java Modulo.getNumerator Examples

Example #1

File: ContainsVarVisitor.java Project: mutilin/cpachecker-ldv

 @Override
 public Boolean visit(Modulo<T> pModulo, MemoryLocation pVarName) {
   return pModulo.getNumerator().accept(this, pVarName)
       || pModulo.getDenominator().accept(this, pVarName);
 }