toggle menu
apollo-backend
1.0.0
Apollo-Backend
switch theme
search in API
apollo-backend
/
eu.yeger.apollo.shared.model.fol
/
Operator
/
Unary
/
Negation
/
Negation
Negation
constructor
(
operand
:
Formula
)
(
source
)
Creates a
Negation
operator with the given operand.
Parameters
operand
The operand of the negation.