r_exec::CInput Class Reference

Classes
class	IsInvalidated

Public Member Functions
	CInput (View *input, _Fact *abstraction, BindingMap *bindings)
bool	operator== (const CInput &i) const

Public Attributes
P< BindingMap >	bindings_
P< _Fact >	abstraction_
P< View >	input_
bool	injected_
Timestamp	ijt_

Detailed Description

Definition at line 123 of file pattern_extractor.h.

---

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

• pattern_extractor.h