dlvhex  2.5.0
Public Member Functions
Term::Ref Class Reference

#include <vs10/term.h>

Inheritance diagram for Term::Ref:
Inheritance graph
[legend]

Public Member Functions

virtual void reset (Term *a) const =0
virtual void replace (Term *a) const =0
virtual ~Ref ()
virtual void reset (Term *a) const =0
virtual void replace (Term *a) const =0
virtual ~Ref ()

Detailed Description

Definition at line 27 of file term.h.

Constructor & Destructor Documentation

virtual Term::Ref::~Ref ( ) [inline, virtual]

Definition at line 32 of file term.h.

virtual Term::Ref::~Ref ( ) [inline, virtual]

Definition at line 32 of file term.h.

Member Function Documentation

virtual void Term::Ref::replace ( Term *  a) const [pure virtual]

Implemented in Term::PtrRef, Term::PtrRef, Term::VecRef, and Term::VecRef.

virtual void Term::Ref::replace ( Term *  a) const [pure virtual]

Implemented in Term::PtrRef, Term::PtrRef, Term::VecRef, and Term::VecRef.

virtual void Term::Ref::reset ( Term *  a) const [pure virtual]

Implemented in Term::PtrRef, Term::PtrRef, Term::VecRef, and Term::VecRef.

virtual void Term::Ref::reset ( Term *  a) const [pure virtual]

Implemented in Term::PtrRef, Term::PtrRef, Term::VecRef, and Term::VecRef.

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