wali::witness::RuleStub Struct Reference

List of all members.

Public Member Functions
	RuleStub (const Rule &r)
Key	from_state ()
Key	from_stack ()
Key	to_state ()
Key	to_stack1 ()
Key	to_stack2 ()
sem_elem_t	weight ()
std::ostream &	print (std::ostream &o) const
Public Attributes
Key	fs
Key	fstk
Key	ts
Key	tstk1
Key	tstk2
sem_elem_t	se

---

Constructor & Destructor Documentation

wali::witness::RuleStub::RuleStub

(

const Rule &

r

)

---

Member Function Documentation

Key wali::witness::RuleStub::from_state

(

)

References fs.

Key wali::witness::RuleStub::from_stack

(

)

References fstk.

Key wali::witness::RuleStub::to_state

(

)

References ts.

Key wali::witness::RuleStub::to_stack1

(

)

References tstk1.

Key wali::witness::RuleStub::to_stack2

(

)

References tstk2.

sem_elem_t wali::witness::RuleStub::weight

(

)

References se.

std::ostream & wali::witness::RuleStub::print

(

std::ostream &

o

)

const [virtual]

Implements wali::Printable.

References fs, fstk, wali::key2str(), se, ts, tstk1, and tstk2.

Referenced by wali::witness::WitnessRule::prettyPrint(), and wali::witness::VisitorPrinter::visitRule().

---

Member Data Documentation

Key wali::witness::RuleStub::fs

Referenced by from_state(), and print().

Key wali::witness::RuleStub::fstk

Referenced by from_stack(), and print().

Key wali::witness::RuleStub::ts

Referenced by print(), and to_state().

Key wali::witness::RuleStub::tstk1

Referenced by print(), and to_stack1().

Key wali::witness::RuleStub::tstk2

Referenced by print(), and to_stack2().

sem_elem_t wali::witness::RuleStub::se

Referenced by print(), and weight().

---

The documentation for this struct was generated from the following files:

• Source/wali/witness/WitnessRule.hpp
• Source/wali/witness/WitnessRule.cpp