r_exec::DefeasibleValidity Class Reference

#include <overlay.h>

Inheritance diagram for r_exec::DefeasibleValidity:

Public Member Functions
	DefeasibleValidity ()
bool	is_invalidated ()
void	invalidate ()
Public Member Functions inherited from core::_Object
void	incRef ()
virtual void	decRef ()

Additional Inherited Members
Protected Attributes inherited from core::_Object
std::atomic_int32_t	refCount_

Detailed Description

A DefeasibleValidity is an object this is attached to a defeasible prediction and copied to each later prediction in forward chaining. If a new fact defeats the grounds of the original prediction, then call invalidate() to invalidate the defeasible prediction and all predictions which followed from it. (The is_invalidate() method of Pred checks its set of DefeasibleValidity and invalidates the Pred if a DefeasibleValidity is invalidated.)

Definition at line 160 of file overlay.h.

Constructor & Destructor Documentation

DefeasibleValidity()

r_exec::DefeasibleValidity::DefeasibleValidity ( )

inline

Create a DefeasibleValidity that is not invalidated.

Definition at line 166 of file overlay.h.

Member Function Documentation

invalidate()

void r_exec::DefeasibleValidity::invalidate ( )

inline

Set this to invalidated so that is_invalidated() returns true.

Definition at line 177 of file overlay.h.

is_invalidated()

bool r_exec::DefeasibleValidity::is_invalidated ( )

inline

Check if this is invalidated

Returns

True if this is invalidated.

Definition at line 172 of file overlay.h.

---

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

• overlay.h