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(java.lang.Object object)
java.util.Collection<EqualityKey>
getEqualityKeys()
int
getEqualityKeysSize()
InternalFactHandle
insert(java.lang.Object object, java.lang.Object tmsValue, InternalMatch internalMatch)
InternalFactHandle
insertOnTms(java.lang.Object object, ObjectTypeConf typeConf, PropagationContext propagationContext, InternalFactHandle handle, java.util.function.BiFunction<java.lang.Object,ObjectTypeConf,InternalFactHandle> fhFactory)
InternalFactHandle
insertPositive(java.lang.Object object, InternalMatch internalMatch)
void
put(EqualityKey key)
void
readLogicalDependency(InternalFactHandle handle, java.lang.Object object, java.lang.Object value, InternalMatch internalMatch, ObjectTypeConf typeConf)
void
remove(EqualityKey key)
void
updateOnTms(InternalFactHandle handle, java.lang.Object object, InternalMatch internalMatch)
-
-
-
Method Detail
-
getEqualityKeysSize
int getEqualityKeysSize()
-
getEqualityKeys
java.util.Collection<EqualityKey> getEqualityKeys()
-
put
void put(EqualityKey key)
-
get
EqualityKey get(java.lang.Object object)
-
remove
void remove(EqualityKey key)
-
insert
InternalFactHandle insert(java.lang.Object object, java.lang.Object tmsValue, InternalMatch internalMatch)
-
insertPositive
InternalFactHandle insertPositive(java.lang.Object object, InternalMatch internalMatch)
-
delete
void delete(org.kie.api.runtime.rule.FactHandle fh)
-
readLogicalDependency
void readLogicalDependency(InternalFactHandle handle, java.lang.Object object, java.lang.Object value, InternalMatch internalMatch, ObjectTypeConf typeConf)
-
clear
void clear()
-
insertOnTms
InternalFactHandle insertOnTms(java.lang.Object object, ObjectTypeConf typeConf, PropagationContext propagationContext, InternalFactHandle handle, java.util.function.BiFunction<java.lang.Object,ObjectTypeConf,InternalFactHandle> fhFactory)
-
updateOnTms
void updateOnTms(InternalFactHandle handle, java.lang.Object object, InternalMatch internalMatch)
-
deleteFromTms
void deleteFromTms(InternalFactHandle handle, EqualityKey key, PropagationContext propagationContext)
-
-