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
Clasp
Constraint_t
Set
Public Member Functions
|
Public Attributes
|
List of all members
Clasp::Constraint_t::Set Struct Reference
#include <
constraint.h
>
Collaboration diagram for Clasp::Constraint_t::Set:
Public Member Functions
Set
()
bool
inSet
(
Type
t) const
void
addSet
(
Type
t)
Public Attributes
uint32
m
Constructor & Destructor Documentation
Clasp::Constraint_t::Set::Set
(
)
inline
Member Function Documentation
void Clasp::Constraint_t::Set::addSet
(
Type
t
)
inline
bool Clasp::Constraint_t::Set::inSet
(
Type
t
)
const
inline
Member Data Documentation
uint32 Clasp::Constraint_t::Set::m
The documentation for this struct was generated from the following file:
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/
constraint.h
Generated on Wed May 14 2014 16:10:42 for clingo by
1.8.7