- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- org.sat4j.reader.csp.RangeDomainTest
-
-
Method Summary
-
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString
-
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
-
-
Constructor Detail
-
RangeDomainTest
public RangeDomainTest()
-
Method Detail
-
testSize
public void testSize()
-
testGet
public void testGet()
-
testPos
public void testPos()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.