Inheritance diagram for r_exec::Success:

Public Member Functions
	Success (_Fact object, _Fact evidence, r_code::Code *object_mk_rdx, float32 psln_thr)

	Success (_Fact object, _Fact evidence, float32 psln_thr)

_Fact *	get_object () const

bool	has_evidence () const

_Fact *	get_evidence () const

bool	has_object_mk_rdx () const

MkRdx *	get_object_mk_rdx () 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::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::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

Definition at line 606 of file factory.h.

Member Function Documentation

◆ get_evidence()

_Fact* r_exec::Success::get_evidence ( ) const

inline

Get the evidence object.

Returns: The evidence object as a _Fact, or NULL if this Success does not have an evidence object.

Definition at line 629 of file factory.h.

◆ get_object()

_Fact* r_exec::Success::get_object ( ) const

inline

Get the object of this Success.

Returns: The object of this Success as a _Fact.

Definition at line 617 of file factory.h.

◆ get_object_mk_rdx()

MkRdx* r_exec::Success::get_object_mk_rdx ( ) const

inline

Get the object_mk_rdx object.

Returns: The object_mk_rdx object as a MkRdx, or NULL if this Success does not have an object_mk_rdx object.

Definition at line 644 of file factory.h.

◆ has_evidence()

bool r_exec::Success::has_evidence ( ) const

inline

Check if this Success has an evidence object.

Returns: True if this Success has an evidence object, otherwise false.

Definition at line 623 of file factory.h.

◆ has_object_mk_rdx()

bool r_exec::Success::has_object_mk_rdx ( ) const

inline

Check if this Success has an object_mk_rdx object.

Returns: True if this Success has an object_mk_rdx object, otherwise false.

Definition at line 635 of file factory.h.

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

Public Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ get_evidence()

◆ get_object()

◆ get_object_mk_rdx()

◆ has_evidence()

◆ has_object_mk_rdx()