|
Inferno
0.2
|
#include <agent.hpp>
Public Member Functions | |
| virtual bool | DecidedCompare (const TreePtrInterface &x, TreePtr< Node > pattern, bool can_key, Conjecture &conj) const =0 |
| virtual TreePtr< Node > | BuildReplace (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 |
| virtual TreePtr<Node> Agent::BuildReplace | ( | TreePtr< Node > | pattern, |
| TreePtr< Node > | keynode = TreePtr< Node >() |
||
| ) | 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] |
Implemented in NormalAgent.
Referenced by MakePatternPtr< NODE_TYPE >::MakePatternPtr().
| virtual bool Agent::DecidedCompare | ( | const TreePtrInterface & | x, |
| TreePtr< Node > | pattern, | ||
| bool | can_key, | ||
| Conjecture & | conj | ||
| ) | const [pure virtual] |
Implemented in NormalAgent.