ClabBDD.UpdateResultBDDUserChoice Method

Updates the result BDD with a user chosen variable and domain value. Makes an expression out of the variable and value, and ands it with the old result BDD.

public Bdd UpdateResultBDDUserChoice(
String var,
String domain
);