Inferno  0.2
Agent Class Reference

#include <agent.hpp>

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

List of all members.

Public Member Functions

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

Detailed Description

Definition at line 19 of file agent.hpp.


Member Function Documentation

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

Implemented in NormalAgent.

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

Implemented in NormalAgent.

virtual void Agent::ConfigureTreePtrThis ( TreePtr< Node tpt) [pure virtual]
virtual bool Agent::DecidedCompare ( const TreePtrInterface x,
TreePtr< Node pattern,
bool  can_key,
Conjecture conj 
) const [pure virtual]

Implemented in NormalAgent.


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