Class AstTreeReplaceVar#
Defined in File SymbolicVal.h
Inheritance Relationships#
Base Type#
public ProcessAstNode(Class ProcessAstNode)
Class Documentation#
-
class AstTreeReplaceVar : public ProcessAstNode#
Public Functions
-
inline AstTreeReplaceVar(const SymbolicVar &ov, const SymbolicVal &nv)#
-
inline virtual bool Traverse(AstInterface &fa, const AstNodePtr &r, AstInterface::TraversalVisitType t)#
return true if asking the traversal to continue; false otherwise
-
inline void operator()(AstInterface &fa, const AstNodePtr &root)#
-
inline AstTreeReplaceVar(const SymbolicVar &ov, const SymbolicVal &nv)#