20 void header(
const std::string& h);
32 std::ostream&
print(std::ostream& o);
34 # define DEFINE(Type) \
35 virtual void visit(const Type& t)
55 std::ostringstream&
os_;
void header(const std::string &h)
Record that we need an include for this header.
weightset_mixin< rat::expressionset_impl< Context >> expressionset
context_printer(std::ostringstream &os)
std::ostringstream os
The output stream: the corresponding C++ snippet to compile.
weightset_mixin< detail::tupleset_impl< LabelSets... >> tupleset
std::set< std::string > headers_
Headers to include.
weightset_mixin< detail::polynomialset_impl< Context, Kind >> polynomialset
const std::string & linkflags() const
Get the link flags.
rat::expansionset< ExpSet > expansionset
std::shared_ptr< const detail::context_base > context
A dyn::context.
void header_algo(const std::string &algo)
Record that we need an include for this algorithm.
std::shared_ptr< detail::automaton_base > automaton
std::set< std::string > headers_late_
std::ostream & print(std::ostream &o)
Generate the code to compile on o.
std::string linkflags_
Flags to pass to the linker.