R/dgp2dcp.R
Dgp2Dcp.nonpos_constr_canon.Rd
Dgp2Dcp canonicalizer for the non-positive constraint atom
Dgp2Dcp.nonpos_constr_canon(expr, args)
An Expression object
A list of values for the expr variable
A canonicalization of the non-positive contraint atom of a DGP expression, where the returned expression is the transformed DCP equivalent.