public class DefeasibleBeliefSystem<M extends DefeasibleMode<M>> extends JTMSBeliefSystem<M>
defEP, negEP, STRICT
Constructor and Description |
---|
DefeasibleBeliefSystem(NamedEntryPoint ep,
TruthMaintenanceSystem tms) |
Modifier and Type | Method and Description |
---|---|
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<M> |
newLogicalDependency(Activation<M> activation,
BeliefSet<M> beliefSet,
Object object,
Object value) |
delete, getTruthMaintenanceSystem, insertBelief, read
public DefeasibleBeliefSystem(NamedEntryPoint ep, TruthMaintenanceSystem tms)
public BeliefSet newBeliefSet(InternalFactHandle fh)
newBeliefSet
in interface BeliefSystem<M extends DefeasibleMode<M>>
newBeliefSet
in class JTMSBeliefSystem<M extends DefeasibleMode<M>>
public LogicalDependency<M> newLogicalDependency(Activation<M> activation, BeliefSet<M> beliefSet, Object object, Object value)
newLogicalDependency
in interface BeliefSystem<M extends DefeasibleMode<M>>
newLogicalDependency
in class JTMSBeliefSystem<M extends DefeasibleMode<M>>
public void insert(LogicalDependency<M> node, BeliefSet<M> beliefSet, PropagationContext context, ObjectTypeConf typeConf)
BeliefSystem
insert
in interface BeliefSystem<M extends DefeasibleMode<M>>
insert
in class JTMSBeliefSystem<M extends DefeasibleMode<M>>
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.