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(FactHandle fh)
void	deleteFromTms(InternalFactHandle handle, EqualityKey key, PropagationContext propagationContext)
EqualityKey	get(Object object)
Collection<EqualityKey>	getEqualityKeys()
int	getEqualityKeysSize()
InternalFactHandle	insert(Object object, Object tmsValue, InternalMatch internalMatch)
InternalFactHandle	insertOnTms(Object object, ObjectTypeConf typeConf, PropagationContext propagationContext, InternalFactHandle handle, BiFunction<Object,ObjectTypeConf,InternalFactHandle> fhFactory)
InternalFactHandle	insertPositive(Object object, InternalMatch internalMatch)
void	put(EqualityKey key)
void	readLogicalDependency(InternalFactHandle handle, Object object, Object value, InternalMatch internalMatch, ObjectTypeConf typeConf)
void	remove(EqualityKey key)
void	updateOnTms(InternalFactHandle handle, Object object, InternalMatch internalMatch)

Method Details

getEqualityKeysSize

int getEqualityKeysSize()

getEqualityKeys

Collection<EqualityKey> getEqualityKeys()

put

void put(EqualityKey key)

get

EqualityKey get(Object object)

remove

void remove(EqualityKey key)

insert

InternalFactHandle insert(Object object,
 Object tmsValue,
 InternalMatch internalMatch)

insertPositive

InternalFactHandle insertPositive(Object object,
 InternalMatch internalMatch)

delete

void delete(FactHandle fh)

readLogicalDependency

void readLogicalDependency(InternalFactHandle handle,
 Object object,
 Object value,
 InternalMatch internalMatch,
 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,
 InternalMatch internalMatch)

deleteFromTms

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