formulaTest.hh File Reference

#include "basics/testcase.hh"
#include "basics/typedefs.hh"
#include "space/space.hh"

Go to the source code of this file.

Classes
class	test::ElementFormulaTest
	Test for element formulas. More...

Namespaces
	concepts
	Basic namespace for Concepts-2.
	test
	Unit tests.

Detailed Description

Testsuite for for element formulas.

Author

Kersten Schmidt, 2010

Definition in file formulaTest.hh.