Public Types | Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes
Clasp::Asp::PrgDisj Class Reference

The head of a disjunctive rule. More...

#include <logic_program_types.h>

Inheritance diagram for Clasp::Asp::PrgDisj:
Inheritance graph
[legend]

List of all members.

Public Types

typedef EdgeIterator atom_iterator

Public Member Functions

atom_iterator begin () const
void destroy ()
 Destroys a disjunction created via create().
void detach (LogicProgram &prg)
atom_iterator end () const
bool propagateAssigned (LogicProgram &prg, PrgHead *at, EdgeType t)
 Propagates the assignment of an atom in this disjunction.
uint32 size () const
 Number of atoms in disjunction.

Static Public Member Functions

static PrgDisjcreate (uint32 id, const VarVec &heads)
 Constructor for disjunctions.

Private Member Functions

 PrgDisj (uint32 id, const VarVec &atoms)
 ~PrgDisj ()

Private Attributes

PrgEdge atoms_ [0]

Detailed Description

The head of a disjunctive rule.

Definition at line 643 of file logic_program_types.h.


Member Typedef Documentation

Definition at line 645 of file logic_program_types.h.


Constructor & Destructor Documentation

Clasp::Asp::PrgDisj::PrgDisj ( uint32  id,
const VarVec atoms 
) [explicit, private]

Definition at line 1413 of file logic_program_types.cpp.

Definition at line 1420 of file logic_program_types.cpp.


Member Function Documentation

Definition at line 653 of file logic_program_types.h.

PrgDisj * Clasp::Asp::PrgDisj::create ( uint32  id,
const VarVec heads 
) [static]

Constructor for disjunctions.

Definition at line 1408 of file logic_program_types.cpp.

Destroys a disjunction created via create().

Definition at line 1421 of file logic_program_types.cpp.

Definition at line 1426 of file logic_program_types.cpp.

Definition at line 654 of file logic_program_types.h.

Propagates the assignment of an atom in this disjunction.

Definition at line 1439 of file logic_program_types.cpp.

uint32 Clasp::Asp::PrgDisj::size ( ) const [inline]

Number of atoms in disjunction.

Definition at line 652 of file logic_program_types.h.


Member Data Documentation

Definition at line 660 of file logic_program_types.h.


The documentation for this class was generated from the following files:


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41