wali::witness Namespace Reference

Classes
class	Visitable
class	Visitor
class	VisitorDot
class	VisitorPrinter
struct	witness_t
class	Witness
class	WitnessCombine
class	WitnessExtend
class	WitnessMerge
class	WitnessMergeFn
struct	RuleStub
class	WitnessRule
class	WitnessTrans
class	WitnessWrapper
Typedefs
typedef ref_ptr< WitnessMergeFn >	witness_merge_fn_t

---

Typedef Documentation

typedef ref_ptr<WitnessMergeFn> wali::witness::witness_merge_fn_t