HUCTLp / com.github.sybila.huctl.dsl / Not

Not

fun Not(inner: DirFormula): Not

Create a negation of target direction formula.

fun Not(inner: Formula): Not

Create a negation of inner formula.