- v -

• validate() : ParamsRef
• value() : func_entry , FuncEntry , OptimizeObjective
• var_name() : QuantifierRef
• var_sort() : QuantifierRef
• variable() : context