Public Member Functions | |
| WitnessTrans (const wfa::ITrans &t) | |
| constructor | |
| ~WitnessTrans () | |
| virtual void | accept (Visitor &v, bool visitOnce=false) |
| virtual std::ostream & | prettyPrint (std::ostream &o, size_t depth) const |
| const wfa::Trans & | getTrans () const |
Protected Attributes | |
| wfa::Trans | t |
This class bears witness to the fact that a weight comes from a transition, most likely user supplied as in the input WFA to pre/poststar
| wali::witness::WitnessTrans::WitnessTrans | ( | const wfa::ITrans & | t | ) |
constructor
Creates a WitnessTrans. Copies information from trans_t excluding the weight, which it passes to its parent class Witness. This class should be kept in sync with reference counting of transitions, namely if it is changed that WFA uses reference counting then the contructor should reflect that. Local copies of the Trans object are made so that a cycle is not created b/c cycles render reference counting useless.
| wali::witness::WitnessTrans::~WitnessTrans | ( | ) |
Destructor does nothing.
| void wali::witness::WitnessTrans::accept | ( | Visitor & | v, | |
| bool visitOnce | ATTR_UNUSED = false | |||
| ) | [virtual] |
Override Witness::accept
Reimplemented from wali::witness::Witness.
References wali::Markable::mark(), and wali::witness::Visitor::visitTrans().
| std::ostream & wali::witness::WitnessTrans::prettyPrint | ( | std::ostream & | o, | |
| size_t | depth | |||
| ) | const [virtual] |
Overrides Witness::prettyPrint
Reimplemented from wali::witness::Witness.
References wali::witness::Witness::formatDepth(), wali::wfa::ITrans::print(), and t.
| const wfa::Trans & wali::witness::WitnessTrans::getTrans | ( | ) | const |
References t.
Referenced by wali::witness::VisitorPrinter::visitTrans(), and wali::witness::VisitorDot::visitTrans().
wfa::Trans wali::witness::WitnessTrans::t [protected] |
Referenced by getTrans(), and prettyPrint().
1.7.1