[ library(hcc) | Reference Manual | Alphabetic Index ]

hcc(+Vars)

Hall Circuit Constraint

Vars: Collection of variables representing the successor of each node

Description

Equivalent to hcc(Vars, _, []).