[ library(ic_hybrid_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