not package:what4

Complement a Boolean

Complement bits in range.

Complement bits in range.

Boolean negation

Type used to uniquely identify expressions that have been annotated.

Given a symbolic expression, annotate it with a unique identifier that can be used to maintain a connection with the given term. The SymAnnotation is intended to be used as the key in a hash table or map to additional data can be maintained alongside the terms. The returned SymExpr has the same semantics as the argument, but has embedded in it the SymAnnotation value so that it can be used later during term traversals. Note, the returned annotation is not necessarily fresh; if an already-annotated term is passed in, the same annotation value will be returned.

Bitwise complement.

Project an annotation from an expression It should be the case that using getAnnotation on a term returned by annotateTerm returns the same annotation that annotateTerm did.

Project the original, unannotated term from an annotated term. This returns Nothing for terms that do not have annotations, or for terms that cannot be separated from their annotations.

Bitwise negation of term.

Bitwise complement

A finite map data structure with monoidal annotations.