clingo
Main Page
Modules
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Groups
Gringo
clone< CSPMulTerm >
Public Member Functions
|
List of all members
Gringo::clone< CSPMulTerm > Struct Template Reference
#include <
terms.hh
>
Collaboration diagram for Gringo::clone< CSPMulTerm >:
Public Member Functions
CSPMulTerm
operator()
(
CSPMulTerm
const &
x
) const
Member Function Documentation
CSPMulTerm
Gringo::clone
<
CSPMulTerm
>::operator()
(
CSPMulTerm
const &
x
)
const
Here is the call graph for this function:
The documentation for this struct was generated from the following files:
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/
terms.hh
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/
terms.cc
Generated on Wed May 14 2014 16:10:52 for clingo by
1.8.7