Here you can find the source of numberToMinterm(int num, int length, int index, boolean[] output)
public static void numberToMinterm(int num, int length, int index, boolean[] output)
//package com.java2s; //License from project: Open Source License public class Main { /**/*from w w w.j a v a 2 s . c o m*/ * encode the number as a boolean vector, starting from the given index. * must use the same encoding as numberToBDD! * * @see #numberToBDD */ public static void numberToMinterm(int num, int length, int index, boolean[] output) { for (int i = 0; i < length; i++) output[index++] = ((num & (1L << i)) != 0); } }