#include <function.hpp>
Public Member Functions | |
user_formula_function (const std::string &name, const_formula_ptr formula, const_formula_ptr precondition, const std::vector< std::string > &args) | |
function_expression_ptr | generate_function_expression (const std::vector< expression_ptr > &args) const |
Public Member Functions inherited from wfl::formula_function | |
formula_function (const std::string name) | |
virtual | ~formula_function () |
Private Attributes | |
const_formula_ptr | formula_ |
const_formula_ptr | precondition_ |
std::vector< std::string > | args_ |
Additional Inherited Members | |
Protected Attributes inherited from wfl::formula_function | |
std::string | name_ |
Definition at line 192 of file function.hpp.
|
inline |
Definition at line 195 of file function.hpp.
|
virtual |
Implements wfl::formula_function.
Definition at line 1534 of file function.cpp.
References args_, formula_, wfl::formula_function::name_, and precondition_.
|
private |
Definition at line 211 of file function.hpp.
Referenced by generate_function_expression().
|
private |
Definition at line 209 of file function.hpp.
Referenced by generate_function_expression().
|
private |
Definition at line 210 of file function.hpp.
Referenced by generate_function_expression().