note
	description: "[
		{SETS_TESTS_RESOURCES_TERNARY}, derived for {NATURAL}, {detachable INTEGER_REF} and {detachable separate CHARACTER_REF} generic parameters, compared, respectively, by object
		value, object value and object reference.
		]"
	author: "Rosivaldo Fernandes Alves"
	date: "$Date: Sat 2018-11-10 18:52:01 -0300 $"
	revision: "$Revision$"
	testing: "type/manual"

class
	SETS_TESTS_RESOURCES_TERNARY_NIC

inherit
	SETS_TESTS_RESOURCES_TERNARY [
		NATURAL, detachable INTEGER_REF, detachable separate CHARACTER_REF,
		STS_OBJECT_EQUALITY [NATURAL],
		STS_OBJECT_EQUALITY [detachable INTEGER_REF],
		STS_REFERENCE_EQUALITY [detachable separate CHARACTER_REF]
		]
		rename
			some_object_a as some_integer_ref
		redefine
			on_prepare
		end

	SETS_TESTS_RESOURCES_BINARY_IC
		undefine
			some_equality,
			some_pair,
			some_preceding_pair_dsa_a,
			some_pair_aa,
			some_preceding_pair_aa,
			some_pair_ab,
			same_pair_ab,
			some_pair_ba,
			some_preceding_pair_ba,
			some_pair_bb,
			some_preceding_pair_bb,
			some_set,
			some_set_a,
			same_set_a,
			some_set_b,
			some_pair_composer,
			some_transformer,
			some_n_tuple,
			some_n_tuple_a,
			same_n_tuple_a,
			some_n_tuple_b
		redefine
			on_prepare
		end

feature -- Access

	resources_wa: SETS_TESTS_RESOURCES_BINARY_NI
			-- Pool of features for ordered pairs of natural numbers and integer references

	resources_wb: SETS_TESTS_RESOURCES_BINARY_NC
			-- Pool of features for ordered pairs of natural numbers and separate character references

feature {NONE} -- Events

	on_prepare
			-- <Precursor>
		do
			Precursor {SETS_TESTS_RESOURCES_BINARY_IC}
			create resources_wa
			create resources_wb
			create eq_w
		end

note
	copyright: "Copyright (c) 2012-2021, Rosivaldo Fernandes Alves"
	license: "[
		Eiffel Forum License v2
		(see http://www.eiffel.com/licensing/forum.txt)
		]"
	source: "https://launchpad.net/set-theory"

end
