# ifndef CPPAD_CORE_GRAPH_GRAPH_OP_ENUM_HPP
# define CPPAD_CORE_GRAPH_GRAPH_OP_ENUM_HPP
/* --------------------------------------------------------------------------
CppAD: C++ Algorithmic Differentiation: Copyright (C) 2003-22 Bradley M. Bell

  CppAD is distributed under the terms of the
               Eclipse Public License Version 2.0.

  This Source Code may also be made available under the following
  Secondary License when the conditions for such availability set forth
  in the Eclipse Public License, Version 2.0 are satisfied:
        GNU General Public License, Version 2.0 or later.
-------------------------------------------------------------------------- */

# include <cstddef>
# include <string>
# include <map>

# include <cppad/utility/vector.hpp>
# include <cppad/configure.hpp>

/*
$begin graph_op_enum$$
$spell
    Cond
    asinh
    acosh
    atanh
    erf
    erfc
    expm
    vec
    enum
    Exp
    Gt
    Le
    notpos
$$

$section C++ AD Graph Operator Enum Type$$

$comment
    The following headings are referenced by comments in cpp_graph_op.cpp:
    Atomic Fucntion, Comparison, Discrete Function, Print, Summation
$$

$head Unary$$
The unary operators have one argument and one result node.
The argument is a node index and the result is the next node.

$head Binary$$
The binary operators have two arguments and one result node.
The arguments are node indices and the result is the next node.
The first (second) argument is the left (right) operand node index.

$head Conditional Expression$$
The conditional expression operators have four arguments and one result node.
The arguments are node indices and the result is the next node.
The first argument is $cref/left/CondExp/left/$$,
the second is $cref/right/CondExp/right/$$,
the third is $cref/if_true/CondExp/if_true/$$,
the fourth is $cref/if_false/CondExp/if_false/$$,
the result is given by
$codei%
    if( %left% %cop% %right%)
        %result% = %if_true%;
    else
        %result% = %if_false%;
%$$
where $icode cop$$ is given in the comment after the enum type values below.

$subhead Other Comparisons$$
Note that
$codei%
    CondExpGt(%left%, %right%, %if_true%, %if_false%)
%$$
is equivalent to
$codei%
    CondExpLe(%left%, %right%, %if_false%, %if_true%)
%$$
Similar conversions can be used for all the possible
$cref/conditional expressions/CondExp/$$.

$head Comparison$$
The comparison operators have two arguments and no result node.
The first (second) argument is the left (right) operand node index.
The comparison result was true for the value of the independent
dynamic parameters and independent variables at which this graph was created.

$subhead Other Comparisons$$
The comparison result true for $icode%left% > %right%$$
is equivalent to the comparison result true for $icode%right% < %left%$$.
The comparison result false for $icode%left% > %right%$$
is equivalent to the comparison result true for $icode%left% <= %right%$$.
In a similar fashion, all the possible comparisons results
can be converted to a true result for one of the comparisons above.

$head Summation$$
The summation operator has one node result and a variable
number of arguments.
The first argument is the number of nodes in the summation,
and the other arguments are the indices of the nodes to be summed.
The total number of arguments for this operator
is one plus the number of nodes in the summation.

$head Discrete Function$$
The discrete function operator has two arguments and one node result.
The first argument is the index in
$cref/discrete_name_vec/cpp_ad_graph/discrete_name_vec/$$ for the
$cref/name/discrete/name/$$ of the discrete function that is called.
The second argument is the index of the node that is the argument
to the discrete function.

$head Atomic Function$$
The atomic function operator has a variable number of arguments
and a variable number of result nodes.
These are three extra arguments for $cref atomic_three$$ functions and
four extra arguments for $cref atomic_four$$ functions.
The total number of operator arguments is
the number of extra arguments
plus the number of arguments for the function being called.
The extra arguments come before the function arguments.

$list number$$
The first operator argument is function name represented by it's index in the
$cref/atomic_name_vec/cpp_ad_graph/atomic_name_vec/$$.
$lnext
If this is an atomic four function call,
the second operator argument is the $cref/call_id/atomic_four_call/call_id/$$.
$lnext
In the atomic three (atomic four) case, second (third) operator argument
is the number of results for this function call.
The order of the function results is determined by the function being called.
$lnext
In the atomic three (atomic four) case, the third (fourth) operator argument
is the number of arguments for this function call.
$lnext
The rest of the operator arguments are the node indices for each of the
function arguments.
The order of the function arguments is determined by function being called.
$lend

$head Print$$
The print operator has four arguments.
$list number$$
The first argument is the index in
$cref/print_text_vec/cpp_ad_graph/print_text_vec/$$ for the
$cref/before/PrintFor/before/$$ text for this print operator.
$lnext
The second argument is the index in
$cref/print_text_vec/cpp_ad_graph/print_text_vec/$$ for the
$cref/after/PrintFor/after/$$ text for this print operator.
$lnext
The third argument is the node corresponding to
$cref/notpos/PrintFor/notpos/$$ for this print operator.
$lnext
The fourth argument is the node corresponding to
$cref/value/PrintFor/value/$$ for this print operator.
$lend


$head Missing Operators$$
As of yet the following $cref ADFun$$ operators do not have a corresponding
graph operator:
$list number$$
Operators to load and store $cref VecAD$$ elements.
$lnext
An operator for the $cref atomic_two$$ interface.
$lend


$head Enum Values$$
$srcthisfile%
    0%// BEGIN_SORT_THIS_LINE_PLUS_2%// END_SORT_THIS_LINE_MINUS_3%1
%$$

$head Examples$$

$childtable%
    example/graph/azmul_op.cpp%
    example/graph/add_op.cpp%
    example/graph/div_op.cpp%
    example/graph/mul_op.cpp%
    example/graph/pow_op.cpp%
    example/graph/sub_op.cpp%
    example/graph/unary_op.cpp%
    example/graph/sum_op.cpp%
    example/graph/comp_op.cpp%
    example/graph/cexp_op.cpp%
    example/graph/discrete_op.cpp%
    example/graph/atom_op.cpp%
    example/graph/atom4_op.cpp%
    example/graph/print_op.cpp
%$$

$end
*/
// BEGIN_SORT_THIS_LINE_PLUS_2
namespace CppAD { namespace graph {
    enum graph_op_enum {
        abs_graph_op,      // unary: absolute value
        acos_graph_op,     // unary: inverse cosine
        acosh_graph_op,    // unary: inverse hyperbolic cosine
        add_graph_op,      // binary: addition
        asin_graph_op,     // unary: inverse sine
        asinh_graph_op,    // unary: inverse hyperbolic sine
        atan_graph_op,     // unary: inverse tangent
        atanh_graph_op,    // unary: inverse hyperbolic tangent
        atom_graph_op,     // atomic three function call
        atom4_graph_op,    // atomic four function call
        azmul_graph_op,    // binary: absolute zero multiplication
        cexp_eq_graph_op,  // conditional expression: ==
        cexp_le_graph_op,  // conditional expression: <=
        cexp_lt_graph_op,  // conditional expression: <
        comp_eq_graph_op,  // comparison: ==
        comp_le_graph_op,  // comparison: <=
        comp_lt_graph_op,  // comparison: <
        comp_ne_graph_op,  // comparison: !=
        cos_graph_op,      // unary: cosine
        cosh_graph_op,     // unary: hyperbolic cosine
        discrete_graph_op, // discrete function
        div_graph_op,      // binary: division
        erf_graph_op,      // unary: error function
        erfc_graph_op,     // unary: complementary error function
        exp_graph_op,      // unary: exponential
        expm1_graph_op,    // unary: exponential minus one
        log1p_graph_op,    // unary: logarithm of one plus argument
        log_graph_op,      // unary: logarithm
        neg_graph_op,      // unary: minus
        mul_graph_op,      // binary: multiplication
        pow_graph_op,      // binary: first argument raised to second argument
        print_graph_op,    // print during zero order forward
        sign_graph_op,     // unary: sign of argument
        sin_graph_op,      // unary: sine
        sinh_graph_op,     // unary: hyperbolic sine
        sqrt_graph_op,     // unary: square root
        sub_graph_op,      // binary: subtraction
        sum_graph_op,      // summation
        tan_graph_op,      // unary: tangent
        tanh_graph_op,     // unary: hyperbolic tangent
        n_graph_op         // number of graph_op_enum operators
    };
} }
// END_SORT_THIS_LINE_MINUS_3


# endif
