CNFConverter

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	753 of 753	0%	90 of 90	0%	56	56	186	186	11	11
handleNot(int)		0%		0%	9	9	31	31	1	1
gather()		0%		0%	14	14	42	42	1	1
pushAnd(Stack)		0%		0%	10	10	38	38	1	1
pushAndUp()		0%		0%	8	8	28	28	1	1
pushNot(int)		0%		0%	6	6	15	15	1	1
changeBack()		0%		0%	3	3	7	7	1	1
pushNotDown()		0%		n/a	1	1	7	7	1	1
convert(Expression)		0%		0%	2	2	9	9	1	1
reorder(Expression)		0%		n/a	1	1	5	5	1	1
convertToCNF(Expression)		0%		n/a	1	1	2	2	1	1
CNFConverter()		0%		n/a	1	1	2	2	1	1