code: public Assignment fullModel(final BDD bdd) {
      final int modelBDD = this.kernel.fullSatOne(bdd.index());
      return createAssignment(modelBDD);
    }
docs: Returns a full model in all variables for the given BDD.
  @param bdd the BDD
  @return a full model of this BDD