Interface CanNegate<T extends CanNegate<T>>

All Superinterfaces:
Literal
All Known Implementing Classes:
BooleanLiteral, CallLiteral, CheckLiteral, EquivalenceLiteral

public interface CanNegate<T extends CanNegate<T>> extends Literal
  • Method Details

    • negate

      T negate()