dlvhex
2.5.0
|
#include <vs10/term.h>
Public Member Functions | |
VecRef (TermPtrVec &vec, TermPtrVec::iterator pos) | |
void | reset (Term *a) const |
void | replace (Term *a) const |
VecRef (TermPtrVec &vec, TermPtrVec::iterator pos) | |
void | reset (Term *a) const |
void | replace (Term *a) const |
Private Attributes | |
TermPtrVec & | vec_ |
TermPtrVec::iterator | pos_ |
Term::VecRef::VecRef | ( | TermPtrVec & | vec, |
TermPtrVec::iterator | pos | ||
) | [inline] |
Term::VecRef::VecRef | ( | TermPtrVec & | vec, |
TermPtrVec::iterator | pos | ||
) | [inline] |
void Term::VecRef::replace | ( | Term * | a | ) | const [inline, virtual] |
void Term::VecRef::replace | ( | Term * | a | ) | const [inline, virtual] |
void Term::VecRef::reset | ( | Term * | a | ) | const [inline, virtual] |
void Term::VecRef::reset | ( | Term * | a | ) | const [inline, virtual] |
TermPtrVec::iterator Term::VecRef::pos_ [private] |
TermPtrVec & Term::VecRef::vec_ [private] |