aima.test.logictest.foltest
Class VariableCollectorTest

java.lang.Object
  TestCase
      aima.test.logictest.foltest.VariableCollectorTest

public class VariableCollectorTest
extends TestCase

Constructor Summary

VariableCollectorTest()

Method Summary

void	setUp()
void	testMultipleVariables()
void	testQuantifiedVariables()
void	testSimplepredicate()

Methods inherited from class java.lang.Object

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

Constructor Detail

VariableCollectorTest

public VariableCollectorTest()

Method Detail

setUp

public void setUp()

testSimplepredicate

public void testSimplepredicate()

testMultipleVariables

public void testMultipleVariables()

testQuantifiedVariables

public void testQuantifiedVariables()