dlvhex  2.5.0
Term::VecRef Class Reference

#include <vs10/term.h>

Inheritance diagram for Term::VecRef:
Collaboration diagram for Term::VecRef:

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_

Detailed Description

Definition at line 34 of file term.h.


Constructor & Destructor Documentation

Term::VecRef::VecRef ( TermPtrVec &  vec,
TermPtrVec::iterator  pos 
) [inline]

Definition at line 37 of file term.h.

Term::VecRef::VecRef ( TermPtrVec &  vec,
TermPtrVec::iterator  pos 
) [inline]

Definition at line 37 of file term.h.


Member Function Documentation

void Term::VecRef::replace ( Term a) const [inline, virtual]

Implements Term::Ref.

Definition at line 39 of file term.h.

References pos_, and vec_.

void Term::VecRef::replace ( Term a) const [inline, virtual]

Implements Term::Ref.

Definition at line 39 of file term.h.

References pos_, and vec_.

void Term::VecRef::reset ( Term a) const [inline, virtual]

Implements Term::Ref.

Definition at line 38 of file term.h.

References pos_, and vec_.

void Term::VecRef::reset ( Term a) const [inline, virtual]

Implements Term::Ref.

Definition at line 38 of file term.h.

References pos_, and vec_.


Field Documentation

TermPtrVec::iterator Term::VecRef::pos_ [private]

Definition at line 42 of file term.h.

Referenced by replace(), and reset().

TermPtrVec & Term::VecRef::vec_ [private]

Definition at line 41 of file term.h.

Referenced by replace(), and reset().


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