Package org.drools.core.common

Interface TruthMaintenanceSystem

public interface TruthMaintenanceSystem

The Truth Maintenance System is responsible for tracking two things. Firstly It maintains a Map to track the classes with the same Equality, using the EqualityKey. The EqualityKey has an internal data structure which references all the handles which are equal. Secondly It maintains another map tracking the justifications for logically asserted facts.

Method Summary

Modifier and Type	Method	Description
void	clear()
void	delete(org.kie.api.runtime.rule.FactHandle fh)
void	deleteFromTms(InternalFactHandle handle, EqualityKey key, PropagationContext propagationContext)
EqualityKey	get(Object object)
ObjectHashMap	getEqualityKeyMap()
InternalFactHandle	insert(Object object, Object tmsValue, Activation activation)
InternalFactHandle	insertOnTms(Object object, ObjectTypeConf typeConf, PropagationContext propagationContext, InternalFactHandle handle, BiFunction<Object,ObjectTypeConf,InternalFactHandle> fhFactory)
InternalFactHandle	insertPositive(Object object, Activation activation)
void	put(EqualityKey key)
void	readLogicalDependency(InternalFactHandle handle, Object object, Object value, Activation activation, ObjectTypeConf typeConf)
void	remove(EqualityKey key)
void	updateOnTms(InternalFactHandle handle, Object object, Activation activation)

Method Detail

getEqualityKeyMap

ObjectHashMap getEqualityKeyMap()

put

void put(EqualityKey key)

get

EqualityKey get(Object object)

remove

void remove(EqualityKey key)

insert

InternalFactHandle insert(Object object,
                          Object tmsValue,
                          Activation activation)

insertPositive

InternalFactHandle insertPositive(Object object,
                                  Activation activation)

delete

void delete(org.kie.api.runtime.rule.FactHandle fh)

readLogicalDependency

void readLogicalDependency(InternalFactHandle handle,
                           Object object,
                           Object value,
                           Activation activation,
                           ObjectTypeConf typeConf)

clear

void clear()

insertOnTms

InternalFactHandle insertOnTms(Object object,
                               ObjectTypeConf typeConf,
                               PropagationContext propagationContext,
                               InternalFactHandle handle,
                               BiFunction<Object,ObjectTypeConf,InternalFactHandle> fhFactory)

updateOnTms

void updateOnTms(InternalFactHandle handle,
                 Object object,
                 Activation activation)

deleteFromTms

void deleteFromTms(InternalFactHandle handle,
                   EqualityKey key,
                   PropagationContext propagationContext)