Package tools.refinery.logic.term.operators

Interface Minus<T extends Minus<T>>

All Superinterfaces:
Plus<T>
All Known Implementing Classes:
IntInterval, RealInterval
public interface Minus<T extends Minus<T>> extends Plus<T>

  • Method Summary

    Modifier and Type
    Method
    Description
    T
    minus()
     

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

    plus

  • Method Details

    • minus

      T minus()