wali::witness::Visitor Class Reference

List of all members.

Public Member Functions
virtual	~Visitor ()
virtual bool	visit (Witness *w)
virtual bool	visitExtend (WitnessExtend *w)
virtual bool	visitCombine (WitnessCombine *w)
virtual bool	visitRule (WitnessRule *w)
virtual bool	visitTrans (WitnessTrans *w)
virtual bool	visitMerge (WitnessMerge *w)

---

Detailed Description

Declares the methods a Visitor must implement to traverse a Witness DAG. Class Visitor provides a default method for each visit_* method that simply aborts the computation.

See also:

Visitable

Witness

WitnessExtend

WitnessCombine

WitnessRule

WitnessTrans

---

Constructor & Destructor Documentation

virtual wali::witness::Visitor::~Visitor

(

)

[virtual]

---

Member Function Documentation

virtual bool wali::witness::Visitor::visit

(

Witness *

w

)

[virtual]

Returns:

true to continue visiting children, false to stop.

Reimplemented in wali::witness::VisitorDot, and wali::witness::VisitorPrinter.

Referenced by wali::witness::Witness::accept().

virtual bool wali::witness::Visitor::visitExtend

(

WitnessExtend *

w

)

[virtual]

Returns:

true to continue visiting children, false to stop.

Reimplemented in wali::witness::VisitorDot, and wali::witness::VisitorPrinter.

Referenced by wali::witness::WitnessExtend::accept().

virtual bool wali::witness::Visitor::visitCombine

(

WitnessCombine *

w

)

[virtual]

Returns:

true to continue visiting children, false to stop.

Reimplemented in wali::witness::VisitorDot, and wali::witness::VisitorPrinter.

Referenced by wali::witness::WitnessCombine::accept().

virtual bool wali::witness::Visitor::visitRule

(

WitnessRule *

w

)

[virtual]

Returns:

true to continue visiting children, false to stop.

Reimplemented in wali::witness::VisitorDot, and wali::witness::VisitorPrinter.

Referenced by wali::witness::WitnessRule::accept().

virtual bool wali::witness::Visitor::visitTrans

(

WitnessTrans *

w

)

[virtual]

Returns:

true to continue visiting children, false to stop.

Reimplemented in wali::witness::VisitorDot, and wali::witness::VisitorPrinter.

Referenced by wali::witness::WitnessTrans::accept().

virtual bool wali::witness::Visitor::visitMerge

(

WitnessMerge *

w

)

[virtual]

Returns:

true to continue visiting children, false to stop

Reimplemented in wali::witness::VisitorDot, and wali::witness::VisitorPrinter.

Referenced by wali::witness::WitnessMerge::accept().

---

The documentation for this class was generated from the following file:

• Source/wali/witness/Visitor.hpp