HUCTLp
/
com.github.sybila.huctl
/
Formula
/
Not
/
<init>
<init>
Not
(
inner
:
Formula
)
Logical negation. A state satisfies this formula if it does not satisfy
inner
.