TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-29 07:50:29 -04:00
Code Issues Packages Projects Releases Wiki Activity

modified a qmc test case

Browse Source
This commit is contained in:
hneemann 2017-03-09 18:35:29 +01:00
parent 73f5a13a14
commit dd946eedbf
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/test/java/de/neemann/digital/analyse/quinemc/QuineMcCluskeyExactCover.java
View File

@ -4,6 +4,7 @@ import de.neemann.digital.analyse.expression.Variable;
import junit.framework.TestCase; import junit.framework.TestCase;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Collection;
/** /**
* Created by hneemann on 09.03.17. * Created by hneemann on 09.03.17.
@ -30,6 +31,16 @@ public class QuineMcCluskeyExactCover extends TestCase {
QuineMcCluskey qmc = new QuineMcCluskey(vars, null, primes); QuineMcCluskey qmc = new QuineMcCluskey(vars, null, primes);
qmc=qmc.simplifyPrimes(null); qmc=qmc.simplifyPrimes(null);
final ArrayList<TableRow> pri = qmc.getPrimes();
assertEquals(2, pri.size());
Collection<Integer> s1 = pri.get(0).getSource();
assertEquals(1, s1.size());
assertTrue(s1.contains(3));
Collection<Integer> s2 = pri.get(1).getSource();
assertEquals(1, s2.size());
assertTrue(s2.contains(4));
} }
} }