public interface BeliefSystem<M extends ModedAssertion<M>>
Modifier and Type | Method and Description |
---|---|
void |
delete(LogicalDependency<M> node,
BeliefSet<M> beliefSet,
PropagationContext context)
The typeConf has not yet been looked up, so we leave it to the implementation to decide if it needs it or not.
|
TruthMaintenanceSystem |
getTruthMaintenanceSystem() |
void |
insert(LogicalDependency<M> node,
BeliefSet<M> beliefSet,
PropagationContext context,
ObjectTypeConf typeConf)
TypeConf is already available, so we pass it, to avoid additional lookups
|
BeliefSet |
newBeliefSet(InternalFactHandle fh) |
LogicalDependency |
newLogicalDependency(Activation<M> activation,
BeliefSet<M> beliefSet,
Object object,
Object value) |
void |
read(LogicalDependency<M> node,
BeliefSet<M> beliefSet,
PropagationContext context,
ObjectTypeConf typeConf) |
void insert(LogicalDependency<M> node, BeliefSet<M> beliefSet, PropagationContext context, ObjectTypeConf typeConf)
node
- beliefSet
- context
- typeConf
- void delete(LogicalDependency<M> node, BeliefSet<M> beliefSet, PropagationContext context)
node
- beliefSet
- context
- BeliefSet newBeliefSet(InternalFactHandle fh)
LogicalDependency newLogicalDependency(Activation<M> activation, BeliefSet<M> beliefSet, Object object, Object value)
void read(LogicalDependency<M> node, BeliefSet<M> beliefSet, PropagationContext context, ObjectTypeConf typeConf)
TruthMaintenanceSystem getTruthMaintenanceSystem()
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.