Clasp::Asp::NonHcfSet Struct Reference

#include <logic_program_types.h>

Inheritance diagram for Clasp::Asp::NonHcfSet:

Collaboration diagram for Clasp::Asp::NonHcfSet:

Public Types
typedef PodVector< uint32 >::type	base_type
typedef base_type::const_iterator	const_iterator

Public Member Functions
void	add (uint32 scc)
bool	find (uint32 scc) const

Member Typedef Documentation

typedef PodVector<uint32>::type Clasp::Asp::NonHcfSet::base_type

typedef base_type::const_iterator Clasp::Asp::NonHcfSet::const_iterator

Member Function Documentation

void Clasp::Asp::NonHcfSet::add ( uint32  scc )

inline

Here is the call graph for this function:

bool Clasp::Asp::NonHcfSet::find ( uint32  scc ) const

inline

Here is the call graph for this function:

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/logic_program_types.h