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

#include <pattern_extractor.h>

Collaboration diagram for r_exec::Input:
Collaboration graph

Classes

class  IsInvalidated
 

Public Member Functions

 Input (View *input, _Fact *abstraction, BindingMap *bindings)
 
 Input ()
 
 Input (const Input &original)
 

Static Public Member Functions

static bool IsEligibleCause (r_exec::View *view)
 

Public Attributes

P< BindingMapbindings
 
P< _Factabstraction
 
P< _Factinput
 
bool eligible_cause
 
uint64_t ijt
 

Constructor & Destructor Documentation

r_exec::Input::Input ( View input,
_Fact abstraction,
BindingMap bindings 
)
inline
r_exec::Input::Input ( )
inline
r_exec::Input::Input ( const Input original)
inline

Member Function Documentation

bool r_exec::Input::IsEligibleCause ( r_exec::View view)
static

Here is the call graph for this function:

Member Data Documentation

P<_Fact> r_exec::Input::abstraction
P<BindingMap> r_exec::Input::bindings
bool r_exec::Input::eligible_cause
uint64_t r_exec::Input::ijt
P<_Fact> r_exec::Input::input

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