ap.parameters.Param
During pre-processing, inline equivalences of the form p <-> f, for some Boolean variable p.
p <-> f
(Since version ) see corresponding Javadoc for more information.
During pre-processing, inline equivalences of the form
p <-> f
, for some Boolean variable p.