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.

Page URL: http://wiki.math.ethz.ch/bin/view/Concepts/WebHome
21 August 2020
© 2020 Eidgenössische Technische Hochschule Zürich