Provide the truth value of a specific variable in the model.
Method Detail
model
boolean model(int var)
Provide the truth value of a specific variable in the model. That method
should be called AFTER isSatisfiable() if the formula is satisfiable.
Else an exception UnsupportedOperationException is launched.