#pragma once

namespace pfc {
	template<typename T>
	class bit_array_table_t : public bit_array
	{
		const T * data;
		t_size count;
		bool after;
	public:
		inline bit_array_table_t(const T * p_data,t_size p_count,bool p_after = false)
			: data(p_data), count(p_count), after(p_after)
		{
		}

		bool get(t_size n) const
		{
			if (n<count) return !!data[n];
			else return after;
		}
	};

	template<class T>
	class bit_array_var_table_t : public bit_array_var
	{
		T * data;
		t_size count;
		bool after;
	public:
		inline bit_array_var_table_t(T * p_data,t_size p_count,bool p_after = false)
			: data(p_data), count(p_count), after(p_after)
		{
		}

		bool get(t_size n) const {
			if (n<count) return !!data[n];
			else return after;
		}

		void set(t_size n,bool val) {
			if (n<count) data[n] = !!val;
		}
	};


	typedef bit_array_table_t<bool> bit_array_table;
	typedef bit_array_var_table_t<bool> bit_array_var_table;

	class bit_array_range : public bit_array
	{
		t_size begin,end;
		bool state;
	public:
		bit_array_range(t_size first,t_size count,bool p_state = true) : begin(first), end(first+count), state(p_state) {}
	
		bool get(t_size n) const
		{
			bool rv = n>=begin && n<end;
			if (!state) rv = !rv;
			return rv;
		}
	};

	//! Combines two arrays using the AND logical operator. \n
	//! Valid index range is an intersection of valid index ranges of the parameter arrays.
	class bit_array_and : public bit_array
	{
		const bit_array & a1, & a2;
	public:
		bit_array_and(const bit_array & p_a1, const bit_array & p_a2) : a1(p_a1), a2(p_a2) {}
		bool get(t_size n) const {return a1.get(n) && a2.get(n);}
	};

	//! Combines two arrays using the OR logical operator. \n
	//! Valid index range is an intersection of valid index ranges of the parameter arrays.
	class bit_array_or : public bit_array
	{
		const bit_array & a1, & a2;
	public:
		bit_array_or(const bit_array & p_a1, const bit_array & p_a2) : a1(p_a1), a2(p_a2) {}
		bool get(t_size n) const {return a1.get(n) || a2.get(n);}
	};

	//! Combines two arrays using the XOR logical operator. \n
	//! Valid index range is an intersection of valid index ranges of the parameter arrays.
	class bit_array_xor : public bit_array
	{
		const bit_array & a1, & a2;
	public:
		bit_array_xor(const bit_array & p_a1, const bit_array & p_a2) : a1(p_a1), a2(p_a2) {}
		bool get(t_size n) const
		{
			bool v1 = a1.get(n), v2 = a2.get(n);
			return (v1 && !v2) || (!v1 && v2);
		}
	};

	//! Negation of another array. \n
	//! Valid index range is the same as valid index range of the parameter array.
	class bit_array_not : public bit_array
	{
		const bit_array & a1;
	public:
		bit_array_not(const bit_array & p_a1) : a1(p_a1) {}
		bool get(t_size n) const {return !a1.get(n);}
		t_size find(bool val,t_size start,t_ssize count) const
		{return a1.find(!val,start,count);}

	};

	class bit_array_true : public bit_array
	{
	public:
		bool get(t_size) const {return true;}
		t_size find(bool val,t_size start,t_ssize count) const
		{return val ? start : start+count;}
	};

	class bit_array_false : public bit_array
	{
	public:
		bool get(t_size) const {return false;}
		t_size find(bool val,t_size start,t_ssize count) const
		{return val ? start+count : start;}
	};

	class bit_array_val : public bit_array
	{
		bool val;
	public:
		bit_array_val(bool v) : val(v) {}
		bool get(t_size) const {return val;}
		t_size find(bool p_val,t_size start,t_ssize count) const
		{return val==p_val ? start : start+count;}
	};

	class bit_array_one : public bit_array
	{
		t_size val;
	public:
		bit_array_one(t_size p_val) : val(p_val) {}
		virtual bool get(t_size n) const {return n==val;}

		virtual t_size find(bool p_val, t_size start, t_ssize count) const;
	};

	//! Generic variable bit_array implementation. \n
	//! Needs to be initialized with requested array size before use.
	class bit_array_bittable : public bit_array_var
	{
		pfc::array_t<t_uint8> m_data;
		t_size m_count;
	public:
		//helpers
		template<typename t_array>
		inline static bool g_get(const t_array & p_array,t_size idx)
		{
			return !! (p_array[idx>>3] & (1<<(idx&7)));
		}

		template<typename t_array>
		inline static void g_set(t_array & p_array,t_size idx,bool val)
		{
			unsigned char & dst = p_array[idx>>3];
			unsigned char mask = 1<<(idx&7);
			dst = val ? dst|mask : dst&~mask;
		}

		inline static t_size g_estimate_size(t_size p_count) {return (p_count+7)>>3;}

		void resize(t_size p_count);

		bit_array_bittable(t_size p_count) : m_count(0) {resize(p_count);}
		bit_array_bittable(const pfc::bit_array & in, size_t inSize);
		bit_array_bittable() : m_count() {}

		
		void set(t_size n, bool val);

		bool get(t_size n) const;

		size_t size() const {return m_count;}
	};


	//! Bit array that takes a permutation and signals indexes reordered by the permutation. \n
	//! Valid index range same as length of the permutation.
	class bit_array_order_changed : public bit_array {
	public:
		bit_array_order_changed(const t_size * p_order) : m_order(p_order) {}
		bool get(t_size n) const
		{
			return m_order[n] != n;
		}

	private:
		const t_size * m_order;
	};
}
// #define for_each_bit_array(var,mask,val,start,count) for(var = mask.find(val,start,count);var<start+count;var=mask.find(val,var+1,count-(var+1-start)))