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