package aima.test.core.unit.logic.fol;
import java.util.List;
import org.junit.Assert;
import org.junit.Before;
import org.junit.Test;
import aima.core.logic.fol.PredicateCollector;
import aima.core.logic.fol.domain.DomainFactory;
import aima.core.logic.fol.parsing.FOLParser;
import aima.core.logic.fol.parsing.ast.Predicate;
import aima.core.logic.fol.parsing.ast.Sentence;
/**
* @author Ravi Mohan
*
*/
public class PredicateCollectorTest {
PredicateCollector collector;
FOLParser parser;
@Before
public void setUp() {
collector = new PredicateCollector();
parser = new FOLParser(DomainFactory.weaponsDomain());
}
@Test
public void testSimpleSentence() {
Sentence s = parser.parse("(Missile(x) => Weapon(x))");
List<Predicate> predicates = collector.getPredicates(s);
Assert.assertNotNull(predicates);
}
}