#include <factory.h>

Inheritance diagram for r_exec::Pred:

Collaboration diagram for r_exec::Pred:

Public Member Functions
	Pred ()

	Pred (SysObject *source)

	Pred (_Fact *target, double psln_thr)

bool	is_invalidated ()

bool	grounds_invalidated (_Fact *evidence)

_Fact *	get_target () const

bool	is_simulation () const

Sim *	get_simulation (Controller *root) 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::View *	build_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)

View *	get_view (Code *group, bool lock)

void	kill ()

Public Member Functions inherited from r_code::LObject
	LObject ()

	LObject (SysObject *source)

View *	build_view (SysView *source)

uint64_t	get_oid () const

void	set_oid (uint64_t oid)

Atom &	code (uint16_t i)

Atom &	code (uint16_t i) const

uint16_t	code_size () const

void	resize_code (uint16_t new_size)

void	set_reference (uint16_t i, Code *object)

Code *	get_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 View *	get_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 ()

Public Attributes
std::vector< P< _Fact > >	grounds

std::vector< P< Sim > >	simulations

Public Attributes inherited from r_code::Code
r_code::list< Code * >	markers

std::unordered_set< View *, View::Hash, View::Equal >	views

Additional Inherited Members
Static Public Member Functions inherited from r_exec::LObject
static bool	RequiresPacking ()

static LObject *	Pack (Code object, r_code::Mem mem)

Static Public Attributes inherited from r_code::Code
static const int64_t	null_storage_index = -1

static const uint64_t	CodeMarkersInitialSize = 8

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 >
View *	build_view (SysView *source)

Protected Member Functions inherited from core::_Object
	_Object ()

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