org.sat4j.reader.csp
Class RangeDomainTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          org.sat4j.reader.csp.RangeDomainTest

All Implemented Interfaces:

junit.framework.Test

public class RangeDomainTest
extends junit.framework.TestCase

Constructor Summary

RangeDomainTest()

Method Summary

void	testGet()
void	testIterator()
void	testNegativeBounds()
void	testPos()
void	testSize()

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RangeDomainTest

public RangeDomainTest()

Method Detail

testSize

public void testSize()

testGet

public void testGet()

testIterator

public void testIterator()

testNegativeBounds

public void testNegativeBounds()

testPos

public void testPos()