Inferno
0.2
|
#include <inferno_patterns.hpp>
Public Member Functions | |
virtual TreePtr< Node > | Advance (TreePtr< Node > n, string *depth)=0 |
virtual shared_ptr< Key > | DecidedCompare (const CompareReplace *sr, const TreePtrInterface &x, bool can_key, Conjecture &conj) |
Public Attributes | |
TreePtr< CPPTree::String > | depth |
Definition at line 135 of file inferno_patterns.hpp.
virtual TreePtr<Node> NestedBase::Advance | ( | TreePtr< Node > | n, |
string * | depth | ||
) | [pure virtual] |
Implemented in NestedSubscriptLookup, and NestedArray.
shared_ptr< Key > NestedBase::DecidedCompare | ( | const CompareReplace * | sr, |
const TreePtrInterface & | x, | ||
bool | can_key, | ||
Conjecture & | conj | ||
) | [virtual] |
Implements SoftSearchPatternSpecialKey.
Definition at line 66 of file inferno_patterns.cpp.
References CompareReplace::DecidedCompare(), and INDENT.
Definition at line 143 of file inferno_patterns.hpp.