#include <formula.hh>


Public Member Functions | |
| FormulaFactor () | |
| FormulaFactor (const FormulaFactor &frm) | |
Public Attributes | |
| Datatype< F >::type | factor_ |
| std::auto_ptr< Formula< F > > | formula_ |
Protected Member Functions | |
| virtual std::ostream & | info (std::ostream &os) const |
| Returns information in an output stream. | |
Definition at line 240 of file formula.hh.
| concepts::PiecewiseFormula< F >::FormulaFactor::FormulaFactor | ( | ) | [inline] |
Definition at line 242 of file formula.hh.
| concepts::PiecewiseFormula< F >::FormulaFactor::FormulaFactor | ( | const FormulaFactor & | frm | ) | [inline] |
Definition at line 243 of file formula.hh.
| virtual std::ostream& concepts::PiecewiseFormula< F >::FormulaFactor::info | ( | std::ostream & | os | ) | const [inline, protected, virtual] |
Returns information in an output stream.
Reimplemented from concepts::OutputOperator.
Definition at line 250 of file formula.hh.
| Datatype<F>::type concepts::PiecewiseFormula< F >::FormulaFactor::factor_ |
Definition at line 248 of file formula.hh.
| std::auto_ptr<Formula<F> > concepts::PiecewiseFormula< F >::FormulaFactor::formula_ |
Definition at line 247 of file formula.hh.