Public Member Functions | |
| FormulaFactor (const FormulaFactor &frm) | |
Public Attributes | |
| std::unique_ptr< Formula< F > > | formula_ |
| Datatype< F >::type | factor_ |
Protected Member Functions | |
| virtual std::ostream & | info (std::ostream &os) const |
| Returns information in an output stream. | |
Definition at line 244 of file formula.hh.
|
inline |
Definition at line 246 of file formula.hh.
|
inline |
Definition at line 247 of file formula.hh.
|
inlineprotectedvirtual |
Returns information in an output stream.
Reimplemented from concepts::OutputOperator.
Definition at line 254 of file formula.hh.
| Datatype<F>::type concepts::PiecewiseFormula< F >::FormulaFactor::factor_ |
Definition at line 252 of file formula.hh.
| std::unique_ptr<Formula<F> > concepts::PiecewiseFormula< F >::FormulaFactor::formula_ |
Definition at line 251 of file formula.hh.