Package tools.refinery.logic.literal
Interface CanNegate<T extends CanNegate<T>>
- All Superinterfaces:
Literal
- All Known Implementing Classes:
BooleanLiteral
,CallLiteral
,CheckLiteral
,EquivalenceLiteral
-
Method Summary
Methods inherited from interface tools.refinery.logic.literal.Literal
equalsWithSubstitution, getInputVariables, getOutputVariables, getPrivateVariables, hashCodeWithSubstitution, reduce, substitute
-
Method Details
-
negate
T negate()
-