wfl::user_formula_function Class Reference

#include <function.hpp>

Inheritance diagram for wfl::user_formula_function:

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_

Detailed Description

Definition at line 192 of file function.hpp.

Constructor & Destructor Documentation

user_formula_function()

wfl::user_formula_function::user_formula_function ( const std::string &  name, const_formula_ptr  formula, const_formula_ptr  precondition, const std::vector< std::string > &  args  )

inline

Definition at line 195 of file function.hpp.

Member Function Documentation

generate_function_expression()

function_expression_ptr wfl::user_formula_function::generate_function_expression ( const std::vector< expression_ptr > &  args ) const

virtual

Implements wfl::formula_function.

Definition at line 1534 of file function.cpp.

References args_, formula_, wfl::formula_function::name_, and precondition_.

Member Data Documentation

args_

std::vector<std::string> wfl::user_formula_function::args_

private

Definition at line 211 of file function.hpp.

Referenced by generate_function_expression().

formula_

const_formula_ptr wfl::user_formula_function::formula_

private

Definition at line 209 of file function.hpp.

Referenced by generate_function_expression().

precondition_

const_formula_ptr wfl::user_formula_function::precondition_

private

Definition at line 210 of file function.hpp.

Referenced by generate_function_expression().

---

The documentation for this class was generated from the following files:

• formula/function.hpp
• formula/function.cpp