|
Inferno
0.2
|
#include <agent.hpp>
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< Node > | BuildReplace (TreePtr< Node > pattern, TreePtr< Node > keynode=TreePtr< Node >()) const |
| NormalAgent::NormalAgent | ( | ) | [inline] |
| 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] |
| bool NormalAgent::DecidedCompare | ( | const TreePtrInterface & | x, |
| TreePtr< Node > | pattern, | ||
| bool | can_key, | ||
| Conjecture & | conj | ||
| ) | const [virtual] |
Implements Agent.
Definition at line 22 of file agent.cpp.
References ASSERT, ASSERTFAIL, CompareReplace::dirty_grass, CouplingKeys::DoKey(), OOStd::SharedPtrInterface< SUB_BASE, VALUE_INTERFACE >::get(), CouplingKeys::GetCoupled(), CompareReplace::GetOverallMaster(), INDENT, OOStd::ContainerInterface< SUB_BASE, VALUE_INTERFACE >::size(), and TRACE.
Referenced by CompareReplace::DecidedCompare().