Commit 95ea0057 authored by leberre's avatar leberre

Added a new utility method to directly get the truth value of a domain object.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@300 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 4dce0671
......@@ -106,6 +106,18 @@ public class DependencyHelper<T,C> {
}
return toInstall;
}
/**
* Retrieve the boolean value associated with a domain object in the solution found by the solver.
* THAT METHOD IS EXPECTED TO BE CALLED IF hasASolution() RETURNS TRUE.
*
* @param t a domain object
* @return true iff the domain object has been set to true in the current solution.
*/
public boolean getBooleanValueFor(T t) {
return xplain.model(getIntValue(t));
}
/**
*
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment