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.