//  Deductor.h -- Analysis of 1D Mondrian scenes
//
//
// DESCRIPTION
//
// Copyright © Timothy Bahls, Daniel Scharstien 2004.
//
///////////////////////////////////////////////////////////////////////////

// unknown float value
#define UNKNOWN -9876
#define UNKNOWNF -9876.5f
#define MAX 1234.5f
#define MIN -1234.5f
#ifndef WIN32
#define __max(a,b)  (((a) > (b)) ? (a) : (b))
#define __min(a,b)  (((a) < (b)) ? (a) : (b))
#endif

#include "Scene.h"

class CRegion
{
public:
	int id; // its own index
	int nFrames;

	float minVel;
	float maxVel;
	float minLen;
	float maxLen;

	float*minmin;  //lowest possible value of left edge in each frame
	float*maxmin;  //highest possible value of left edge in each frame
	float*minmax;  //lowest possible value of right edge in each frame
	float*maxmax;  //highest possible value of right edge in each frame

	int*xmins;  //minimum seen value in each frame
	int*xmaxes; //maximum seen value  in each frame
	int*leftIDs; //id of region to the left
	int*rightIDs;//id of region to the right

	bool change;

	// constructor
	CRegion(int id, int inFrames);
	CRegion(){}  //default

	bool operator == (CRegion);

	bool limitV(int f1, int f2, float*minA, float*maxA);
	bool limitP(int f1, int f2, float*&minA, float*&maxA);

	bool restrictVel();
	bool restrictLen();
	bool restrictPosition();

	inline bool max(int &a,int b){if(b>a){a=b; return true;}return false;}
	inline bool min(int &a,int b){if(b<a){a=b; return true;}return false;}
	inline bool max(float &a,float b){if(b>a){a=b; return true;}return false;}
	inline bool min(float &a,float b){if(b<a){a=b; return true;}return false;}
};

class CDeductor
{
	int nFrames;    // number of frames (used to allocate extent vectors) 
	int nRegions;   // number of regions observed so far
	int maxWidth;   //length of image
	int maxID;      //highest id yet encountered
	bool change;    // does info change during analysis
	int**relative;//the relative distances
	int**data;//the reduced image
	CRegion* region; //the various regions
	CByteImage im;

	CRegion null;

	int times;

public:
	// constructor and destructor
	CDeductor(int nFrames,bool iverbose)  : nFrames(nFrames), nRegions(0), maxID(-1), data(new int*[nFrames]), null(CRegion(-2,nFrames)),verbose(iverbose){}
	~CDeductor();
	void printData();
	int goGoGo();
	void readFrame(CByteImage im,int frame);
	void reportResults();
	bool verbose;
	void checkAccuracy(CScene scene);

private:


	// prototypes
	int compare(int a, int b);  //looks up in relative who is closer
	void p(int a);               //prints the name of the color
	bool setCloser(int c, int f); //records in relative that c is closer than f
	void addid(int a);             //new id seen
	int getPixID(int row, int col);//looks up the color in row, col of im
	void startRegion(int id, int frame, int x, int prevId);//begin a new region
	void endRegion(int id, int frame, int x, int nextId);   //ends a region
	
	void transitiveClosure();  //if A is closer than  B and B is closer than C, A is closer than C
	void occlusionDetection();  
	void extendedT();
	void possibilityElimination();  //narrows possibilities by each region, trying to deduce tighter constraints

	void checkTripletForQuadT(int id,int f1,int f2,int f3,int*minmax,int*rightleft); 
	void quadT();
};