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
All Methods Instance Methods Abstract Methods 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)
-
-