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().