clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | Protected Attributes | List of all members
Clasp::compose_2_2< OP1, OP2, OP3 > Struct Template Reference

A binary operator function that returns OP1(OP2(x), OP3(y)) More...

#include <misc_types.h>

Inheritance diagram for Clasp::compose_2_2< OP1, OP2, OP3 >:
Inheritance graph
Collaboration diagram for Clasp::compose_2_2< OP1, OP2, OP3 >:
Collaboration graph

Public Member Functions

 compose_2_2 (const OP1 &op1=OP1(), const OP2 &op2=OP2(), const OP3 &op3=OP3())
 
OP1::result_type operator() (const typename OP2::argument_type &x, const typename OP3::argument_type &y) const
 

Protected Attributes

OP1 op1_
 
OP2 op2_
 
OP3 op3_
 

Detailed Description

template<class OP1, class OP2, class OP3>
struct Clasp::compose_2_2< OP1, OP2, OP3 >

A binary operator function that returns OP1(OP2(x), OP3(y))

Constructor & Destructor Documentation

template<class OP1, class OP2, class OP3>
Clasp::compose_2_2< OP1, OP2, OP3 >::compose_2_2 ( const OP1 &  op1 = OP1(),
const OP2 &  op2 = OP2(),
const OP3 &  op3 = OP3() 
)
inline

Member Function Documentation

template<class OP1, class OP2, class OP3>
OP1::result_type Clasp::compose_2_2< OP1, OP2, OP3 >::operator() ( const typename OP2::argument_type &  x,
const typename OP3::argument_type &  y 
) const
inline

Member Data Documentation

template<class OP1, class OP2, class OP3>
OP1 Clasp::compose_2_2< OP1, OP2, OP3 >::op1_
protected
template<class OP1, class OP2, class OP3>
OP2 Clasp::compose_2_2< OP1, OP2, OP3 >::op2_
protected
template<class OP1, class OP2, class OP3>
OP3 Clasp::compose_2_2< OP1, OP2, OP3 >::op3_
protected

The documentation for this struct was generated from the following file: