dlvhex  2.5.0
Public Member Functions | Private Attributes
Term::PtrRef Class Reference

#include <vs10/term.h>

Inheritance diagram for Term::PtrRef:
Inheritance graph
[legend]
Collaboration diagram for Term::PtrRef:
Collaboration graph
[legend]

Public Member Functions

 PtrRef (clone_ptr< Term > &ptr)
void reset (Term *a) const
void replace (Term *a) const
 PtrRef (clone_ptr< Term > &ptr)
void reset (Term *a) const
void replace (Term *a) const

Private Attributes

clone_ptr< Term > & ptr_

Detailed Description

Definition at line 44 of file term.h.

Constructor & Destructor Documentation

Term::PtrRef::PtrRef ( clone_ptr< Term > &  ptr) [inline]

Definition at line 47 of file term.h.

Term::PtrRef::PtrRef ( clone_ptr< Term > &  ptr) [inline]

Definition at line 47 of file term.h.

Member Function Documentation

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

Implements Term::Ref.

Definition at line 49 of file term.h.

References ptr_.

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

Implements Term::Ref.

Definition at line 49 of file term.h.

References ptr_.

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

Implements Term::Ref.

Definition at line 48 of file term.h.

References ptr_.

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

Implements Term::Ref.

Definition at line 48 of file term.h.

References ptr_.

Field Documentation

clone_ptr< Term > & Term::PtrRef::ptr_ [private]

Definition at line 51 of file term.h.

Referenced by replace(), and reset().

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