replicode
Classes | Public Member Functions | Public Attributes | List of all members
r_exec::CInput Class Reference

#include <pattern_extractor.h>

Collaboration diagram for r_exec::CInput:
Collaboration graph

Classes

class  IsInvalidated
 

Public Member Functions

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

Public Attributes

P< BindingMapbindings
 
P< _Factabstraction
 
P< Viewinput
 
bool injected
 
uint64_t ijt
 

Constructor & Destructor Documentation

r_exec::CInput::CInput ( View input,
_Fact abstraction,
BindingMap bindings 
)
inline
r_exec::CInput::CInput ( )
inline

Member Function Documentation

bool r_exec::CInput::operator== ( const CInput i) const
inline

Member Data Documentation

P<_Fact> r_exec::CInput::abstraction
P<BindingMap> r_exec::CInput::bindings
uint64_t r_exec::CInput::ijt
bool r_exec::CInput::injected
P<View> r_exec::CInput::input

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