Inheritance diagram for r_exec::Fact:
Public Member Functions | |
| void * | operator new (size_t s) |
| Fact (r_code::SysObject *source) | |
| Fact (Fact *f) | |
| Fact (r_code::Code *object, Timestamp after, Timestamp before, float32 confidence, float32 psln_thr) | |
 Public Member Functions inherited from r_exec::_Fact | |
| bool | is_invalidated () override |
| bool | is_fact () const |
| bool | is_anti_fact () const |
| void | set_opposite () |
| _Fact * | get_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 |
| bool | has_after () const |
| bool | has_before () const |
| int | get_after_var () const |
| int | get_before_var () const |
| Timestamp | get_after () const |
| Timestamp | get_before () const |
| float32 | get_cfd () const |
| void | set_cfd (float32 cfd) |
| Pred * | get_pred () const |
| Goal * | get_goal () const |
| Success * | get_success () const |
| void | trace () const |
| Public Member Functions inherited from r_exec::LObject | |
| LObject (r_code::Mem *mem=NULL) | |
| LObject (r_code::SysObject *source) | |
| Public Member Functions inherited from r_exec::Object< r_code::LocalObject, LObject > | |
| r_code::_View * | build_view (r_code::SysView *source) override |
| bool | is_invalidated () override |
| bool | invalidate () override |
| void | compute_hash_value () |
| float32 | get_psln_thr () override |
| void | acq_views () override |
| void | rel_views () override |
| void | acq_markers () override |
| void | rel_markers () override |
| void | set (uint16 member_index, float32 value) override |
| void | mod (uint16 member_index, float32 value) override |
| r_code::_View * | get_view (r_code::Code *group, bool lock) override |
| Public Member Functions inherited from r_code::LocalObject | |
| LocalObject (SysObject *source) | |
| uint32 | get_oid () const override |
| void | set_oid (uint32 oid) override |
| Atom & | code (uint16 i) override |
| const Atom & | code (uint16 i) const override |
| uint16 | code_size () const override |
| void | resize_code (uint16 new_size) override |
| void | set_reference (uint16 i, Code *object) override |
| Code * | get_reference (uint16 i) const override |
| uint16 | references_size () const override |
| void | clear_references () override |
| void | set_references (std::vector< P< Code > > &new_references) override |
| void | add_reference (Code *object) override |
| Public Member Functions inherited from r_code::Code | |
| void | set_strorage_index (int32 i) |
| bool | is_registered () const |
| int32 | get_storage_index () const |
| bool | includes (Atom a) const |
| virtual bool | is_compact () const |
| virtual void | mod (uint16, float32) |
| virtual void | set (uint16, float32) |
| void | remove_marker (Code *m) |
| void | trace (uint16 i, std::ostream &out, Atom::TraceContext &context) const |
| void | trace (std::ostream &out) const |
| void | trace () const |
| std::string | trace_string () const |
| std::string | trace_string (uint16 i) const |
| void | r_trace (std::ostream &out) const |
| void | r_trace () const |
| std::string | r_trace_string () const |
| Public Member Functions inherited from core::_Object | |
| void | incRef () |
| virtual void | decRef () |
Additional Inherited Members | |
| Static Public Member Functions inherited from r_exec::_Fact | |
| static bool | MatchAtom (Atom lhs, Atom rhs) |
| static bool | MatchStructure (const r_code::Code *lhs, uint16 lhs_base_index, uint16 lhs_index, const r_code::Code *rhs, uint16 rhs_index, bool same_binding_state=false) |
| static bool | Match (const r_code::Code *lhs, uint16 lhs_base_index, uint16 lhs_index, const r_code::Code *rhs, uint16 rhs_index, uint16 lhs_arity, bool same_binding_state=false) |
| static bool | CounterEvidence (const r_code::Code *lhs, const r_code::Code *rhs) |
| static bool | MatchObject (const r_code::Code *lhs, const r_code::Code *rhs, bool same_binding_state=false) |
| Static Public Member Functions inherited from r_exec::LObject | |
| static bool | RequiresPacking () |
| static LObject * | Pack (r_code::Code *object, r_code::Mem *) |
| Public Attributes inherited from r_code::Code | |
| r_code::list< Code * > | markers_ |
| std::unordered_set< _View *, _View::Hash, _View::Equal > | views_ |
| Static Public Attributes inherited from r_code::Code | |
| static const int32 | null_storage_index = -1 |
| static const uint32 | CodeMarkersInitialSize = 8 |
| Protected Member Functions inherited from r_exec::_Fact | |
| _Fact (r_code::SysObject *source) | |
| _Fact (_Fact *f) | |
| _Fact (uint16 opcode, r_code::Code *object, Timestamp after, Timestamp before, float32 confidence, float32 psln_thr) | |
| Protected Member Functions inherited from r_exec::Object< r_code::LocalObject, LObject > | |
| Object (r_code::Mem *mem) | |
| Protected Member Functions inherited from r_code::Code | |
| void | load (SysObject *source) |
| template<class V > | |
| _View * | build_view (SysView *source) |
| Protected Attributes inherited from r_code::Code | |
| int32 | storage_index_ |
| Protected Attributes inherited from core::_Object | |
| std::atomic_int32_t | refCount_ |
Detailed Description
The documentation for this class was generated from the following files:
