AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator > Member List

This is the complete list of members for AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >, including all inherited members.

AbstractDomains(const tag_gpu_block_copy &, bool enable_sharing, const AbstractDomains< U2, BasicAlloc2, PropAllocator2, StoreAllocator2 > &other, const BasicAllocator &basic_allocator=BasicAllocator(), const PropAllocator &prop_allocator=PropAllocator(), const StoreAllocator &store_allocator=StoreAllocator())	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
AbstractDomains(const AbstractDomains< U2, BasicAlloc2, PropAllocator2, StoreAllocator2 > &other, const BasicAllocator &basic_allocator=BasicAllocator(), const PropAllocator &prop_allocator=PropAllocator(), const StoreAllocator &store_allocator=StoreAllocator(), const tag_copy_cons &tag=tag_copy_cons{})	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
AbstractDomains(const this_type &other, const BasicAllocator &basic_allocator=BasicAllocator(), const PropAllocator &prop_allocator=PropAllocator(), const StoreAllocator &store_allocator=StoreAllocator())	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
AbstractDomains(const Configuration< Alloc > &config, const BasicAllocator &basic_allocator=BasicAllocator(), const PropAllocator &prop_allocator=PropAllocator(), const StoreAllocator &store_allocator=StoreAllocator())	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
AbstractDomains(AbstractDomains &&other)=default	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
add_minimize_objective_var(F &f, const F::Existential &max_var)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
allocate(int num_vars, bool with_simplifier)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
bab	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
basic_allocator	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
basic_allocator_type typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
best	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
config	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
deallocate()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
env	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
F typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
FormulaPtr typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
IBAB typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
initialize_simplifier(const F &f)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
interpret(const F &f)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
iprop	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
IProp typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
is_printing_intermediate_sol()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
ISimplifier typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
IST typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
IStore typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
LIStore typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
meet(AbstractDomains< U2, BasicAlloc2, PropAlloc2, StoreAlloc2 > &other)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
minimize_obj_var	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
name_of_abstract_domain() const	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
name_of_entailed_removal() const	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
on_failed_node()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
on_node()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
on_solution_node()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
parse_cn()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
preprocess()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
preprocess_ipc(F &f)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
preprocess_tcn(F &f)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
print_final_solution()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
print_mzn_statistics()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
print_solution()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
print_solution(const BestStore &best_store)	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
prop_allocator	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
prop_allocator_type typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
prune()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline
search_tree	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
simplifier	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
solver_output	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
Split typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
split	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
stats	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
store	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
store_allocator	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
store_allocator_type typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
this_type typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
universe_type typedef	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
update_solution_stats()	AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >	inline