smt_core_theoryt::if_then_elset Member List

This is the complete list of members for smt_core_theoryt::if_then_elset, including all inherited members.

identifier()	smt_core_theoryt::if_then_elset	static
return_sort(const smt_termt &condition, const smt_termt &then_term, const smt_termt &else_term)	smt_core_theoryt::if_then_elset	static
validate(const smt_termt &condition, const smt_termt &then_term, const smt_termt &else_term)	smt_core_theoryt::if_then_elset	static