jtp.frame.fc
Class AbstractRuleCreator

java.lang.Object
  |
  +--java.beans.beancontext.BeanContextChildSupport
        |
        +--jtp.util.PropertyImporter
              |
              +--jtp.frame.fc.AbstractRuleCreator

All Implemented Interfaces:

BeanContextChild, BeanContextServiceRevokedListener, BeanContextServicesListener, EventListener, Reasoner, Serializable

Direct Known Subclasses:

InconsistencyActionCreator, PredefinedActionCreator, RuleUnroller, SimpleRuleCreator, TrueLinkCreator

public abstract class AbstractRuleCreator

extends PropertyImporter

implements Reasoner

See Also:

Serialized Form

Field Summary

protected static FirstOrderLogicTranslator

trans

Fields inherited from class java.beans.beancontext.BeanContextChildSupport

beanContext, beanContextChildPeer, pcSupport, rejectedSetBCOnce, vcSupport

Constructor Summary

AbstractRuleCreator()

AbstractRuleCreator(AbstractRuleCreator parent)

Method Summary

boolean	acceptable(Object o) decides if the goal is suitable for being processed by this reasoner.
FrameKB	getFrameKB()
UndoManager	getUndoManager()
void	setFrameKB(FrameKB fkb)
void	setUndoManager(UndoManager u)

Methods inherited from class jtp.util.PropertyImporter

getImportedProperties, initializeBeanContextResources, setImportedProperties

Methods inherited from class java.beans.beancontext.BeanContextChildSupport

addPropertyChangeListener, addVetoableChangeListener, firePropertyChange, fireVetoableChange, getBeanContext, getBeanContextChildPeer, isDelegated, releaseBeanContextResources, removePropertyChangeListener, removeVetoableChangeListener, serviceAvailable, serviceRevoked, setBeanContext, validatePendingSetBeanContext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jtp.Reasoner

process

Field Detail

trans

protected static FirstOrderLogicTranslator trans

Constructor Detail

AbstractRuleCreator

public AbstractRuleCreator()

AbstractRuleCreator

public AbstractRuleCreator(AbstractRuleCreator parent)

Method Detail

getFrameKB

public FrameKB getFrameKB()

setFrameKB

public void setFrameKB(FrameKB fkb)

getUndoManager

public UndoManager getUndoManager()

setUndoManager

public void setUndoManager(UndoManager u)

acceptable

public boolean acceptable(Object o)

Description copied from interface: Reasoner

decides if the goal is suitable for being processed by this reasoner. This method should be fast; if there are doubts as to whether a goal is acceptable, and it looks like determining it might take some time, the method should return true and let the process method figure it out.

Example. Many reasoners only process literals with certain predicates and arity. These reasoners will use those criteria to determine acceptability, for example a reasoner dealing with equality could accept goals that are:

1. Literals,
2. have = as their relation predicate,
3. have exactly two arguments.

Specified by:

acceptable in interface Reasoner

Returns:

true if the goal is suitable for this reasoner, false otherwise.