Uses of Interface
zeus.generator.util.BasicFactModel

Packages that use BasicFactModel

zeus.generator.task
zeus.generator.util

Uses of BasicFactModel in zeus.generator.task

Classes in zeus.generator.task that implement BasicFactModel

class	GroupManager
class	SymBasicFactModel

Fields in zeus.generator.task declared as BasicFactModel

protected BasicFactModel	ConstraintsModel.preconditionsModel
protected BasicFactModel	ConstraintsModel.postconditionsModel
protected BasicFactModel	ConstraintsPanel.precondsModel
protected BasicFactModel	ConstraintsPanel.postcondsModel
protected BasicFactModel	NodesPanel.preconditionsModel
protected BasicFactModel	NodesPanel.postconditionsModel
protected BasicFactModel	OrderingDialog.model
protected BasicFactModel	OrderingModel.preconditionsModel

Methods in zeus.generator.task that return BasicFactModel

(package private) BasicFactModel	NodesPanel.getPreconditionsModel()
(package private) BasicFactModel	NodesPanel.getPostconditionsModel()

Constructors in zeus.generator.task with parameters of type BasicFactModel

ConstraintsModel(BasicFactModel preconditionsModel, BasicFactModel postconditionsModel, LogicalFn[] input)

ConstraintsPanel(AgentGenerator generator, GeneratorModel genmodel, OntologyDb ontologyDb, TaskEditor editor, Task task, BasicFactModel precondsModel, BasicFactModel postcondsModel)

OrderingDialog(java.awt.Frame parent, java.lang.String title, BasicFactModel model)

OrderingModel(BasicFactModel preconditionsModel, Ordering[] input)

Uses of BasicFactModel in zeus.generator.util

Classes in zeus.generator.util that implement BasicFactModel

class

FactModel

Fields in zeus.generator.util declared as BasicFactModel

protected BasicFactModel	AttributeTreeModel.preconditionsModel
protected BasicFactModel	AttributeTreeModel.postconditionsModel
protected BasicFactModel	AttributeTreeModel.singletonModel

Methods in zeus.generator.util with parameters of type BasicFactModel

void	AttributeTable.setFactModel(BasicFactModel factmodel)
void	AttributeTable.setFactModels(BasicFactModel preModel, BasicFactModel postModel)
void	AttributeTreeModel.setFactModels(BasicFactModel preconditionsModel, BasicFactModel postconditionsModel)
void	AttributeTreeModel.setFactModel(BasicFactModel singletonModel)