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

is_solver_var(?Term)

Succeeds if Term is a set variable
Term
A term

Fail Conditions

Set is not a variable, or a non-set variable