Returns what corresponds to a disjunction of all possible values of the variable var. This is more efficient than doing fdd_ithvar(var,0) OR fdd_ithvar(var,1) ... explicitly for all values in the domain of var.
Returns:
The encoding of the domain.
Generated on Mon Jul 23 13:25:15 2007 for BuDDy by
1.5.1
