Inferno  0.2
NormalAgent Class Reference

#include <agent.hpp>

Inheritance diagram for NormalAgent:
[legend]
Collaboration diagram for NormalAgent:
[legend]

List of all members.

Classes

struct  SubCollection
struct  SubContainer
struct  SubSequence
struct  SubSequenceRange

Public Member Functions

 NormalAgent ()
void ConfigureTreePtrThis (TreePtr< Node > tpt)
void Configure (const CompareReplace *s, CouplingKeys *c)
virtual bool DecidedCompare (const TreePtrInterface &x, TreePtr< Node > pattern, bool can_key, Conjecture &conj) const
virtual TreePtr< NodeBuildReplace (TreePtr< Node > pattern, TreePtr< Node > keynode=TreePtr< Node >()) const

Detailed Description

Definition at line 34 of file agent.hpp.


Constructor & Destructor Documentation

Definition at line 37 of file agent.hpp.


Member Function Documentation

TreePtr< Node > NormalAgent::BuildReplace ( TreePtr< Node pattern,
TreePtr< Node keynode = TreePtr<Node>() 
) const [virtual]

Implements Agent.

Definition at line 415 of file agent.cpp.

References ASSERT, CouplingKeys::GetKey(), INDENT, and TRACE.

Referenced by CompareReplace::BuildReplace().

void NormalAgent::Configure ( const CompareReplace s,
CouplingKeys c 
) [virtual]

Implements Agent.

Definition at line 7 of file agent.cpp.

References ASSERT.

Referenced by CompareReplace::BuildReplace(), and CompareReplace::DecidedCompare().

void NormalAgent::ConfigureTreePtrThis ( TreePtr< Node tpt) [virtual]

Implements Agent.

Definition at line 17 of file agent.cpp.


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