[
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