Package tools.refinery.logic.term.operators

Interface Not<T extends Not<T>>

All Known Implementing Classes:

TruthValue

public interface Not<T extends Not<T>>

Method Summary

Modifier and Type	Method	Description
T	not()

Method Details

not

T not()