001    /*
002     * Created on Sep 22, 2004
003     *
004     */
005    package aima.test.logictest.foltest;
006    
007    import java.util.ArrayList;
008    import java.util.List;
009    
010    import aima.search.csp.Domain;
011    
012    import junit.framework.TestCase;
013    
014    /**
015     * @author Ravi Mohan
016     * 
017     */
018    
019    public class DomainTest extends TestCase {
020    
021            public void testDomain() {
022                    List<String> l = new ArrayList<String>();
023                    l.add("x");
024                    Domain d = new Domain(l);
025                    assertNotNull(d.getDomainOf("x"));
026                    assertEquals(new ArrayList(), d.getDomainOf("x"));
027            }
028    
029    }