formulaLiCo.hh File Reference

#include "formula.hh"

Go to the source code of this file.

Classes
class	concepts::FormulaLiCo

Namespaces
namespace	concepts

Detailed Description

Linear combination of two formulae.

Author

Christoph Winkelmann, 2003

Definition in file formulaLiCo.hh.