cvc4-1.4

uf → options Relation

File in src/theory/ufIncludes file in src/options
options.hoptions.h