#include "utilities/log.h"
#include "utilities/counter.h"

#ifdef LOGGING
static rlog::RLogChannel* rlSimulator =             DEF_CHANNEL("geometry/simulator", rlog::Log_Debug);

#endif // LOGGING

#ifdef COUNTERS
static Counter*  cSimulatorProcess =                GetCounter("simulator/process");
#endif // COUNTERS


template<class PolyKernel_, template<class Event> class EventComparison_>
template<class Event_>
typename Simulator<PolyKernel_, EventComparison_>::Key
Simulator<PolyKernel_, EventComparison_>::
add(const Event_& e)
{
	Event* ee = new Event_(e);
	return queue_.push(ee);
}

template<class PolyKernel_, template<class Event> class EventComparison_>
template<class Event_>
typename Simulator<PolyKernel_, EventComparison_>::Key
Simulator<PolyKernel_, EventComparison_>::
add(const RationalFunction& f, const Event_& e)
{
	Event* ee = new Event_(e);
	rLog(rlSimulator, "Solving: %s", tostring(f).c_str());
	PolynomialKernel::solve(f, ee->root_stack());
	bool sign = PolynomialKernel::sign_at_negative_infinity(f);
	while (!ee->root_stack().empty() && ee->root_stack().top() < current_time())
	{
		ee->root_stack().pop();
		sign = !sign;
	}
	if (sign) ee->root_stack().pop();			// TODO: double-check the logic
	rLog(rlSimulator, "Pushing: %s", tostring(ee->root_stack().top()).c_str());
	return queue_.push(ee);
}
		
template<class PolyKernel_, template<class Event> class EventComparison_>
void
Simulator<PolyKernel_, EventComparison_>::
update(Key k, const RationalFunction& f)
{
	Event* ee = *k;
	ee->root_stack() = RootStack();								// no clear() in std::stack
	PolynomialKernel::solve(f, ee->root_stack());
	while (!ee->root_stack().empty() && ee->root_stack().top() < current_time())
		ee->root_stack().pop();
	update(k);
}

template<class PolyKernel_, template<class Event> class EventComparison_>
void
Simulator<PolyKernel_, EventComparison_>::
process()
{
    Count(cSimulatorProcess);
	rLog(rlSimulator, "Queue size: %i", queue_.size());
	Key top = queue_.top();
	Event* e = *top;
	
	if (e->root_stack().empty()) 		{ reached_infinity_ = true; return; }
	else 								{ current_ = e->root_stack().top(); e->root_stack().pop();  }
	
	if (e->process(this))				update(top);
	else								{ queue_.pop(); delete e; }
}

template<class PolyKernel_, template<class Event> class EventComparison_>
void
Simulator<PolyKernel_, EventComparison_>::
update(Key i)
{
	queue_.update(i);
}
		
template<class PolyKernel_, template<class Event> class EventComparison_>
typename Simulator<PolyKernel_, EventComparison_>::Time
Simulator<PolyKernel_, EventComparison_>::
audit_time() const
{
	const_Key top = queue_.top();
	Event* e = *top;

	if (e->root_stack().empty()) return current_ + 1;
	else return PolynomialKernel::between(e->root_stack().top(), current_);
}
		
template<class PolyKernel_, template<class Event> class EventComparison_>
std::ostream&
Simulator<PolyKernel_, EventComparison_>::
operator<<(std::ostream& out) const
{
	out << "Simulator: " << std::endl;
	return queue_.print(out, "  ");
}

template<class PolyKernel_, template<class Event> class EventComparison_>
std::ostream&
operator<<(std::ostream& out, const Simulator<PolyKernel_, EventComparison_>& s)
{
    return s.operator<<(out);
}

template<class PolyKernel_, template<class Event> class EventComparison_>
std::ostream&
operator<<(std::ostream& out, const typename Simulator<PolyKernel_, EventComparison_>::Event& e)
{
    return e.operator<<(out);
}