#include?“formula_header.h“//→?↑↓⊕⊙????█Θ⊕??????…▼△???♀
formulabase::formulabase（）
{
	for（int?i=0;i<100;i++）variables[i]=false;
	numVar=0;
}
formulabase::formulabase（const?formulabase&?rhs）
{
	sourceFormula=rhs.sourceFormula;
	for（int?i=0;i<100;i++）variables[i]=false;
	numVar=0;
}
formulabase::~formulabase（）
{

	while（!stk.empty（））stk.pop（）;
	vctofVar.clear（）;
	vctofPoland.clear（）;
}
int?formulabase::countTerms（int?n）
{
	if（n==0）
	{
		cout<<“invalid?input!“<		exit（0）;
	}
	switch（n）
	{
	case?1:return?2;
	case?2:return?4;
	default:
		{
			int?tempA=2tempB=2;
			for（int?i=2;i<=n;i*=2）tempA*=tempA;
			i/=2;
			if（i==n）return?tempA;
			i=n-i;
			for（int?j=2;j<=i;j*=2）tempB*=tempB;
			
			for（j/=2;j			tempB*=tempA;
			return?tempB;
		}
	}
	

}
bool?formulabase::isVar（char?ch）const
{
	if?（ch>=‘A‘&&ch<=‘Z‘）
		return?true;
	return?false;
}
void?formulabase::getSource（）
{
	cout<<“Input?the?source?formula:“<	cin>>sourceFormula;
	/*if（!isValid（sourceFormula））
	cout<<“Invalid?input?!“
	“Operate?again:“<	cin>>sourceFormula;*/

}
void?formulabase::getInversePoland（）
{
	
	char?temptemp1;
	for（int?i=0;sourceFormula[i]!=‘\0‘;i++）
	{
		temp=sourceFormula[i];
		if（isVar（temp））
		{
			if（!variables[temp]）
			{
				numVar++;
				vctofVar.push_back（temp）;
				variables[temp]=true;
			}
			vctofPoland.push_back（temp）;
			
		}
		else?
			switch（temp）
			{
			case‘→‘:case‘↑‘:
			case‘↓‘:case‘⊕‘:
			case‘⊙‘:?
				while（!stk.empty（））
				{
					if（stk.top（）==temp）
					{
						vctofPoland.push_back（temp）;
						stk.pop（）;
					}
					else?break;
				}
				stk.push（temp）;
				break;
			case?‘（‘:case?‘!‘:
				stk.push（temp）;
				break;
			case?‘+‘:
				while?（!stk.empty（））
				{
						?if（stk.top（）!=‘（‘）
						?{
							?temp1=stk.top（）;
							?vctofPoland.push_back（temp1）;
							stk.pop（）;
						?}
						?else?break;
				}
				stk.push（temp）;
				break;
			case?‘*‘:
				while?（!stk.empty（））
				{
					temp1=stk.top（）;
					if（stk.top（）==‘*‘||stk.top（）==‘!‘）
					{
						vctofPoland.push_back（temp1）;
						stk.pop（）;
					}
					else
						break;
				}
				stk.push（temp）;
				break;
			?
			case?‘）‘:
				while?（!stk.empty（））
				{
					if（stk.top（）!=‘（‘）
					{	
						temp1=stk.top（）;
						vctofPoland.push_back（temp1）;
						stk.pop（）;
					}
					else?break;		
				}
				if（stk.empty（））exit（0）;
				stk.pop（）;//pop?the?operator?‘（‘

				break;

			}
	}
	while（!stk.empty（））
	{
		temp1=stk.top（）;
		vctofPoland.push_back（temp1）;
		stk.pop（）;
	}
}
void?formulabase::assign（int?minterm）
{
	int?temp=minterm;
	vector::const_iterator?itr=vctofVar.begin（）;
	for（;itr!=vctofVar.end（）;itr++）
	{
		
		variables[*itr]=bool（temp&1）;
		temp=temp>>1;
	}

}

bool?formulabase::compute（int?minterm）
{
	assign（minterm）;
	char?temp;
	bool?valueAvalueB;
	vector::const_iterator?i

?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----

?????文件???????7874??2009-11-23?16:02??c++主范式\formula.cpp

?????文件???????1097??2009-11-22?12:09??c++主范式\formula_header.h

?????文件????????312??2009-11-22?09:54??c++主范式\main.cpp

?????目錄??????????0??2009-12-13?08:44??c++主范式

-----------?---------??----------?-----??----

?????????????????9283????????????????????4