Ejemplo n.º 1
0
 /**
  * Specifies that all variables in the proposition are either completely allowed (true) or
  * completely disallowed (false) for all of their categories.
  */
 public void setToTautology() {
   for (int i = 0; i < allowedCategories.length; i++) {
     setVariable(i, true);
   }
 }
Ejemplo n.º 2
0
 /** Sets the given value to true and all other values to false for the given variable. */
 public void setCategory(int variable, int category) {
   setVariable(variable, false);
   addCategory(variable, category);
 }