Home
last modified time | relevance | path

Searched refs:symbol_sort_domain (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/base/
H A Ddl_context.cpp62 class context::symbol_sort_domain : public sort_domain { class in datalog::context
69 symbol_sort_domain(context & ctx, sort * s) : sort_domain(SK_SYMBOL, ctx, s) {} in symbol_sort_domain() function in datalog::context::symbol_sort_domain
321 dom = alloc(symbol_sort_domain, *this, s); in register_finite_sort()
367 symbol_sort_domain & dom = static_cast<symbol_sort_domain &>(dom0); in get_constant_number()
H A Ddl_context.h154 class symbol_sort_domain; variable
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/
H A Ddl_context.cpp62 class context::symbol_sort_domain : public sort_domain { class in datalog::context
69 symbol_sort_domain(context & ctx, sort * s) : sort_domain(SK_SYMBOL, ctx, s) {} in symbol_sort_domain() function in datalog::context::symbol_sort_domain
320 dom = alloc(symbol_sort_domain, *this, s); in register_finite_sort()
366 symbol_sort_domain & dom = static_cast<symbol_sort_domain &>(dom0); in get_constant_number()
H A Ddl_context.h154 class symbol_sort_domain; variable