#include <logic_program_types.h>
Inheritance 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 |
Detailed Description
Definition at line 709 of file logic_program_types.h.
Member Typedef Documentation
| typedef PodVector<uint32>::type Clasp::Asp::NonHcfSet::base_type |
Definition at line 711 of file logic_program_types.h.
| typedef base_type::const_iterator Clasp::Asp::NonHcfSet::const_iterator |
Reimplemented from bk_lib::pod_vector< T, Allocator >.
Definition at line 712 of file logic_program_types.h.
Member Function Documentation
| void Clasp::Asp::NonHcfSet::add | ( | uint32 | scc | ) | [inline] |
Definition at line 716 of file logic_program_types.h.
| bool Clasp::Asp::NonHcfSet::find | ( | uint32 | scc | ) | const [inline] |
Definition at line 720 of file logic_program_types.h.
The documentation for this struct was generated from the following file: