/*
 * IsVoidNode_FillPredicateUnitTest.hpp
 *
 *  Created on: Jan 18, 2012
 *      Author: heber
 */

#ifndef ISVOIDNODE_FILLPREDICATEUNITTEST_HPP_
#define ISVOIDNODE_FILLPREDICATEUNITTEST_HPP_

// include config.h
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif


#include <cppunit/extensions/HelperMacros.h>

#include <vector>

class atom;
class FillPredicate;

/********************************************** Test classes **************************************/

class IsVoidNode_FillPredicateTest : public CppUnit::TestFixture
{
    CPPUNIT_TEST_SUITE( IsVoidNode_FillPredicateTest) ;
    CPPUNIT_TEST ( operatorTest );
    CPPUNIT_TEST_SUITE_END();

public:
      void setUp();
      void tearDown();
      void operatorTest();

private:
      std::vector<atom *> atoms;
      FillPredicate *predicate;
};

#endif /* ISVOIDNODE_FILLPREDICATEUNITTEST_HPP_ */