public class TruthMaintenanceSystemHelper extends Object
Constructor and Description |
---|
TruthMaintenanceSystemHelper() |
Modifier and Type | Method and Description |
---|---|
static void |
clearLogicalDependencies(InternalFactHandle handle,
PropagationContext propagationContext) |
static <M extends ModedAssertion<M>> |
removeLogicalDependencies(Activation<M> activation,
PropagationContext context,
RuleImpl rule) |
static void |
removeLogicalDependencies(InternalFactHandle handle,
PropagationContext propagationContext) |
static <M extends ModedAssertion<M>> |
removeLogicalDependency(LogicalDependency<M> node,
PropagationContext context) |
public static void removeLogicalDependencies(InternalFactHandle handle, PropagationContext propagationContext)
public static void clearLogicalDependencies(InternalFactHandle handle, PropagationContext propagationContext)
public static <M extends ModedAssertion<M>> void removeLogicalDependencies(Activation<M> activation, PropagationContext context, RuleImpl rule)
public static <M extends ModedAssertion<M>> void removeLogicalDependency(LogicalDependency<M> node, PropagationContext context)
Copyright © 2001–2020 JBoss by Red Hat. All rights reserved.