Inheritance diagram for r_exec::_Fact:

Public Member Functions
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 ()

Static Public Member Functions
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 )

Protected Member Functions
	_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)

Additional Inherited Members
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 Attributes inherited from r_code::Code
int32	storage_index_

Protected Attributes inherited from core::_Object
std::atomic_int32_t	refCount_

Detailed Description

Definition at line 154 of file factory.h.

Member Function Documentation

◆ get_after_var()

int r_exec::_Fact::get_after_var ( ) const

inline

If the object at FACT_AFTER is (var v), then return v. Otherwise return -1.

Definition at line 198 of file factory.h.

◆ get_before_var()

int r_exec::_Fact::get_before_var ( ) const

inline

If the object at FACT_BEFORE is (var v), then return v. Otherwise return -1.

Definition at line 207 of file factory.h.

◆ MatchObject()

bool r_exec::_Fact::MatchObject	(	const r_code::Code *	lhs,
		const r_code::Code *	rhs,
		bool	same_binding_state = `false`
	)

static

Check if lhs matches rhs.

Parameters

same_binding_state (optional) If false, then allow an unbound variable to match another bound or unbound object. If true, then only allow an unbound variable to match another unbound variable. If omitted, use false.

Definition at line 364 of file factory.cpp.

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

Public Member Functions

Static Public Member Functions

Protected Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ get_after_var()

◆ get_before_var()

◆ MatchObject()