replicode
Public Member Functions | Static Public Member Functions | Protected Member Functions | Static Private Member Functions | List of all members
r_exec::_Fact Class Reference

#include <factory.h>

Inheritance diagram for r_exec::_Fact:
Inheritance graph
Collaboration diagram for r_exec::_Fact:
Collaboration graph

Public Member Functions

virtual bool is_invalidated ()
 
bool is_fact () const
 
bool is_anti_fact () const
 
void set_opposite () const
 
_Factget_absentee () const
 
bool match_timings_sync (const _Fact *evidence) const
 
bool match_timings_overlap (const _Fact *evidence) const
 
bool match_timings_inclusive (const _Fact *evidence) const
 
MatchResult is_evidence (const _Fact *target) const
 
MatchResult is_timeless_evidence (const _Fact *target) const
 
uint64_t get_after () const
 
uint64_t get_before () const
 
float get_cfd () const
 
void set_cfd (double cfd)
 
Predget_pred () const
 
Goalget_goal () const
 
void trace () const
 
- Public Member Functions inherited from r_exec::LObject
 LObject (r_code::Mem *mem=NULL)
 
 LObject (r_code::SysObject *source)
 
virtual ~LObject ()
 
- Public Member Functions inherited from r_exec::Object< r_code::LObject, LObject >
virtual ~Object ()
 
r_code::Viewbuild_view (SysView *source)
 
virtual bool invalidate ()
 
void compute_hash_value ()
 
double get_psln_thr ()
 
void acq_views ()
 
void rel_views ()
 
void acq_markers ()
 
void rel_markers ()
 
void set (uint16_t member_index, double value)
 
void mod (uint16_t member_index, double value)
 
Viewget_view (Code *group, bool lock)
 
void kill ()
 
- Public Member Functions inherited from r_code::LObject
 LObject ()
 
 LObject (SysObject *source)
 
Viewbuild_view (SysView *source)
 
uint64_t get_oid () const
 
void set_oid (uint64_t oid)
 
Atomcode (uint16_t i)
 
Atomcode (uint16_t i) const
 
uint16_t code_size () const
 
void resize_code (uint16_t new_size)
 
void set_reference (uint16_t i, Code *object)
 
Codeget_reference (uint16_t i) const
 
uint16_t references_size () const
 
void clear_references ()
 
void set_references (std::vector< P< Code > > &new_references)
 
void add_reference (Code *object) const
 
- Public Member Functions inherited from r_code::Code
void set_stroage_index (int64_t i)
 
bool is_registered () const
 
int64_t get_storage_index () const
 
virtual bool is_compact () const
 
 Code ()
 
virtual ~Code ()
 
virtual Viewget_view (Code *group, bool lock)
 
void remove_marker (Code *m)
 
void trace () const
 
- Public Member Functions inherited from core::_Object
virtual ~_Object ()
 
void incRef ()
 
virtual void decRef ()
 

Static Public Member Functions

static bool MatchObject (const Code *lhs, const Code *rhs)
 
- Static Public Member Functions inherited from r_exec::LObject
static bool RequiresPacking ()
 
static LObjectPack (Code *object, r_code::Mem *mem)
 

Protected Member Functions

 _Fact ()
 
 _Fact (SysObject *source)
 
 _Fact (_Fact *f)
 
 _Fact (uint16_t opcode, Code *object, uint64_t after, uint64_t before, double confidence, double psln_thr)
 
- Protected Member Functions inherited from r_exec::Object< r_code::LObject, LObject >
 Object ()
 
 Object (r_code::Mem *mem)
 
- Protected Member Functions inherited from r_code::Code
void load (SysObject *source)
 
template<class V >
Viewbuild_view (SysView *source)
 
- Protected Member Functions inherited from core::_Object
 _Object ()
 

Static Private Member Functions

static bool MatchAtom (Atom lhs, Atom rhs)
 
static bool MatchStructure (const Code *lhs, uint16_t lhs_base_index, uint16_t lhs_index, const Code *rhs, uint16_t rhs_index)
 
static bool Match (const Code *lhs, uint16_t lhs_base_index, uint16_t lhs_index, const Code *rhs, uint16_t rhs_index, uint16_t lhs_arity)
 
static bool CounterEvidence (const Code *lhs, const Code *rhs)
 

Additional Inherited Members

- Public Attributes inherited from r_code::Code
r_code::list< Code * > markers
 
std::unordered_set< View *, View::Hash, View::Equalviews
 
- Static Public Attributes inherited from r_code::Code
static const int64_t null_storage_index = -1
 
static const uint64_t CodeMarkersInitialSize = 8
 
- Protected Attributes inherited from r_code::LObject
uint64_t _oid
 
r_code::vector< Atom_code
 
r_code::vector< P< Code > > _references
 
- Protected Attributes inherited from r_code::Code
int64_t storage_index
 
- Protected Attributes inherited from core::_Object
std::atomic_int_fast64_t refCount
 

Constructor & Destructor Documentation

r_exec::_Fact::_Fact ( )
protected
r_exec::_Fact::_Fact ( SysObject source)
protected
r_exec::_Fact::_Fact ( _Fact f)
protected

Here is the call graph for this function:

r_exec::_Fact::_Fact ( uint16_t  opcode,
Code object,
uint64_t  after,
uint64_t  before,
double  confidence,
double  psln_thr 
)
protected

Here is the call graph for this function:

Member Function Documentation

bool r_exec::_Fact::CounterEvidence ( const Code lhs,
const Code rhs 
)
staticprivate

Here is the call graph for this function:

Here is the caller graph for this function:

_Fact * r_exec::_Fact::get_absentee ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

uint64_t r_exec::_Fact::get_after ( ) const

Here is the caller graph for this function:

uint64_t r_exec::_Fact::get_before ( ) const

Here is the caller graph for this function:

float r_exec::_Fact::get_cfd ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

Goal * r_exec::_Fact::get_goal ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

Pred * r_exec::_Fact::get_pred ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::is_anti_fact ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

MatchResult r_exec::_Fact::is_evidence ( const _Fact target) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::is_fact ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::is_invalidated ( )
virtual

Reimplemented from r_exec::Object< r_code::LObject, LObject >.

Here is the call graph for this function:

Here is the caller graph for this function:

MatchResult r_exec::_Fact::is_timeless_evidence ( const _Fact target) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::Match ( const Code lhs,
uint16_t  lhs_base_index,
uint16_t  lhs_index,
const Code rhs,
uint16_t  rhs_index,
uint16_t  lhs_arity 
)
staticprivate

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::match_timings_inclusive ( const _Fact evidence) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::match_timings_overlap ( const _Fact evidence) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::match_timings_sync ( const _Fact evidence) const

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::MatchAtom ( Atom  lhs,
Atom  rhs 
)
staticprivate

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::MatchObject ( const Code lhs,
const Code rhs 
)
static

Here is the call graph for this function:

Here is the caller graph for this function:

bool r_exec::_Fact::MatchStructure ( const Code lhs,
uint16_t  lhs_base_index,
uint16_t  lhs_index,
const Code rhs,
uint16_t  rhs_index 
)
staticprivate

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::_Fact::set_cfd ( double  cfd)

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::_Fact::set_opposite ( ) const

Here is the call graph for this function:

Here is the caller graph for this function:

void r_exec::_Fact::trace ( ) const

Here is the call graph for this function:


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