FGL function that can trigger the addition of Boolean constraints on some form
(trigger-constraints term) → *
FGL can collect Boolean constraints among terms. It can trigger constraint generation rules (see def-fgl-boolean-constraint) when a term is added to the Boolean variable database, e.g. by being used in an IF test. This stub function allows such rules to be triggered without adding anything to the Boolean variable database. The subterm is rewritten under an IFF context, and the resulting object can trigger constraint generation rules as if it were added to the Boolean variable database.
Function:
(defun trigger-constraints (term) (declare (xargs :guard t)) (let ((__function__ 'trigger-constraints)) (declare (ignorable __function__)) nil))