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