Package tools.refinery.logic.term.operators

Interface Div<T extends Div<T>>

All Superinterfaces:
Mul<T>
All Known Implementing Classes:
IntInterval, RealInterval
public interface Div<T extends Div<T>> extends Mul<T>

  • Method Summary

    Modifier and Type
    Method
    Description
    T
    div(T other)
     

    Methods inherited from interface tools.refinery.logic.term.operators.Mul

    mul

  • Method Details

    • div

      T div(T other)