Package tools.refinery.logic.term.operators

Interface Sub<T extends Sub<T>>

All Superinterfaces:
Add<T>
All Known Implementing Classes:
IntInterval, RealInterval
public interface Sub<T extends Sub<T>> extends Add<T>

  • Method Summary

    Modifier and Type
    Method
    Description
    T
    sub(T other)
     

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

    add

  • Method Details

    • sub

      T sub(T other)