Struct PNE::PNEParametersOutput
Defined in File instantiation.h
Nested Relationships
This struct is a nested type of Class PNE.
Inheritance Relationships
Base Type
public std::unary_function< const VAL::parameter_symbol *, string >
Struct Documentation
-
struct PNEParametersOutput : public std::unary_function<const VAL::parameter_symbol*, string>
Public Functions
-
inline PNEParametersOutput(const VAL::FastEnvironment &bs)
-
inline string operator()(const VAL::parameter_symbol *v) const
Public Members
-
const VAL::FastEnvironment &bindings
-
inline PNEParametersOutput(const VAL::FastEnvironment &bs)