Double error...

[Mehes Andrew F J]

If we are given a file cnf file with no clauses and a vector file which
has a undefined value such as 'Q', should we return SAT because there are
no clauses to satisfy, or error because of vector file, or both? Thanks.

[Sherman]

I had it producing an error message and terminating at the setVariable
function whenever it hits an invalid boolean value. I dunno if thats fine.
May a TA please verify?
Thank you.

Sherman

Post by Mehes Andrew F J
If we are given a file cnf file with no clauses and a vector file which
has a undefined value such as 'Q', should we return SAT because there are
no clauses to satisfy, or error because of vector file, or both? Thanks.

[Alexander Smith]

You should treat the functions more-or-less independently. In
setVariables(), there's really no need to look at how many clauses there
are. So, when you're setting the variables, you should report an error if
you see 'Q'. checkAssignment() is where you need to look at how many
clauses there are.

Alexander

Post by Mehes Andrew F J
If we are given a file cnf file with no clauses and a vector file which
has a undefined value such as 'Q', should we return SAT because there are
no clauses to satisfy, or error because of vector file, or both? Thanks.