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 Summary

Modifier and Type	Method	Description
T	negate()

Methods inherited from interface Literal

equalsWithSubstitution, getInputVariables, getOutputVariables, getPrivateVariables, hashCodeWithSubstitution, reduce, substitute

Method Details

negate

T negate()