Uses of Class
zeus.concepts.Fact

Packages that use Fact

zeus.actors
zeus.actors.event
zeus.actors.rtn
zeus.actors.rtn.util
zeus.agents
zeus.agentviewer
zeus.agentviewer.acquaintances
zeus.agentviewer.protocol
zeus.agentviewer.resources
zeus.agentviewer.task
zeus.concepts
zeus.concepts.fn
zeus.generator.agent
zeus.generator.event
zeus.generator.task
zeus.generator.task.rulebase
zeus.generator.util
zeus.gui.dialog
zeus.rete
zeus.rete.action

Uses of Fact in zeus.actors

Fields in zeus.actors declared as Fact

protected Fact	DataRec.fact
private Fact[][]	TaskContext.inputArgs
private Fact[][]	TaskContext.outputArgs
private Fact[]	TaskContext.expInputArgs
private Fact[]	TaskContext.expOutputArgs
protected Fact[][]	ZeusTask.inputArgs The information passed from the agent to the task, (a 2D array is used to enable multiple fact instances)
protected Fact[][]	ZeusTask.outputArgs The information returned from the task to the agent
protected Fact[]	ZeusTask.expInputArgs The information the task expects to receive, (as specified when the task was defined) this can be used to validate the inputArgs
protected Fact[]	ZeusTask.expOutputArgs The information the task expects to return, (as specified when the task was defined) this can be used to validate the outputArgs

Methods in zeus.actors that return Fact

Fact[][]	ConsumedDb.getInputData()
Fact	ConsumedDb.remove(java.lang.String goal_id)
Fact	ConsumedDb.remove(int precond_position, PlanRecord child, int effect_position, int amount)
Fact	DataRec.getFact()
Fact[]	DataRec.getData()
Fact	DataRec.mostGeneralDescriptor()
Fact[]	Decomposition.getPreconditions(java.lang.String node)
Fact[]	Decomposition.getPostconditions(java.lang.String node)
Fact	ExternalDb.remove(Fact f1) Implements a retrieval operation that returns the fact matching the the parameter; this is assumed to be destructive
Fact[][]	PlanRecord.mapPreToPost(Fact[][] input, Fact[] exp_out) mapPreToPost is used to map precondition variables that are supposed to be copied to post conditions synchronised?
Fact	ResourceDb.debit(double amount) Special purpose method to decrease the value of the amount attribute of MONEY facts
Fact	ResourceDb.evalLocal(Fact fact)
Fact[]	ResourceDb.all(java.lang.String type)
Fact[]	ResourceDb.all(Fact fact) Use this to retrieve all the facts in the database that match the parameter
Fact	ResourceDb.any(java.lang.String type) Randomly retrieves a fact with the same type as the parameter
Fact	ResourceDb.any(Fact fact) Use this to randomly retrieve a fact that matches the parameter
Fact[][]	TaskContext.getOutputArgs()
Fact[][]	TaskContext.getInputArgs()
Fact[]	TaskContext.getExpOutputArgs()
Fact[]	TaskContext.getExpInputArgs()
Fact[][]	ZeusTask.getInputArgs()
Fact[]	ZeusTask.getExpectedOutputArgs()
Fact[]	ZeusTask.getExpectedInputArgs()
Fact[][]	ZeusTask.getOutputArgs()

Methods in zeus.actors with parameters of type Fact

boolean	ExternalDb.contains(Fact f1) Implements a membership operation, returning true if the fact parameter currently exists within the external resource
boolean	ExternalDb.put(Fact f1) Implements an insertion operation, returning true if the fact parameter was successfully inserted.
Fact	ExternalDb.remove(Fact f1) Implements a retrieval operation that returns the fact matching the the parameter; this is assumed to be destructive
java.util.Enumeration	ExternalDb.all(Fact f1) Implements a query operation that should return an enumeration of all facts that match the parameter; this is not assumed to be destructive
(package private) int	Planner.anySideEffect(Fact desc, PlanRecord rec, int position, int required)
(package private) int	Planner.anySideEffect(Fact desc, PlanRecord rec, java.lang.Object precond, int required)
void	Planner.notifyReceived(Fact f1, java.lang.String goalId, java.lang.String subgoalId)
int	PlanRecord.anySideEffect(Fact desc, PlanRecord rec, java.lang.Object precond, int required)
Fact[][]	PlanRecord.mapPreToPost(Fact[][] input, Fact[] exp_out) mapPreToPost is used to map precondition variables that are supposed to be copied to post conditions synchronised?
void	PlanRecord.map(ValueFunction val, Fact lhs, Fact rhs)
Goal	PlanRecord.createSubgoal(Fact fact, int precon_position)
void	ProducedDb.allocatePostconditions(Fact[][] fact)
protected void	ProducedDb.allocatePostcondition(int position, Fact[] input)
java.util.Vector	ProtocolDb.getProtocols(Fact fact, java.lang.String[] agents, java.lang.String type)
private int	ProtocolDb.constraintsOK(Fact fact, java.lang.String agent, StrategyInfo info)
ResourceItem	ResourceDb.add(Fact[] List) was synchronized
ResourceItem	ResourceDb.add(Fact fact) The primary method for adding new facts to the Resource Database was synchronized
(package private) void	ResourceDb.replaceOrAdd(Fact fact) was synchronized
void	ResourceDb.del(Fact[] List)
void	ResourceDb.del(Fact fact) The primary method for permanently removing facts from the Resource Database
void	ResourceDb.modify(Fact f1, Fact f2) Use this if facts have changed and you need to update the Resource Database
Fact	ResourceDb.evalLocal(Fact fact)
boolean	ResourceDb.evalNegative(Fact fact)
Fact[]	ResourceDb.all(Fact fact) Use this to retrieve all the facts in the database that match the parameter
Fact	ResourceDb.any(Fact fact) Use this to randomly retrieve a fact that matches the parameter
boolean	ResourceDb.contains(Fact fact, int start) Use this to test whether a particular fact exists in the database
void	TaskContext.setInputArgs(Fact[][] inputArgs)
void	TaskContext.setOutputArgs(Fact[][] outputArgs)
void	TaskContext.setExpInputArgs(Fact[] expInputArgs)
void	TaskContext.setExpOutputArgs(Fact[] expOutputArgs)
void	TaskDb.resolveCostAndTime(Task task, Fact[] consumed, Fact[] produced) resolveCostAndTime is used to check that the cost and timing of the task in terms of the preconditions and postconditions of the task is properly resolved .
void	TaskDb.resolveall(ArithmeticFn target, Task task, Fact[] resolvers)
void	TaskDb.resolvePreconditions(Task task, Fact[] consumed, Fact[] produced) resolvePreconditions is used to check through all the precondition attributes in the task as they are loaded to see if there are any references to postcondition attributes, and then resolve those references so that when task chaining and execution occur the correct values will be used
void	TaskDb.checkAndMapValue(java.lang.String attrName, AttributeList attrs, Fact[] produced) checkAndMapValue takes a value from an attribute and checks to see if it is a reference to a post condition.
protected int	TaskDb.addItem(Fact[] List, Task task)
protected int	TaskDb.addItem(Fact fact, Task task)
protected int	TaskDb.deleteItem(Fact[] List, Task task)
protected int	TaskDb.deleteItem(Fact fact, Task task)
Task	TaskDb.findOne(Fact fact) Randomly chooses a task able to produces a fact matching the parameter
java.util.Vector	TaskDb.findAll(Fact fact) Retrieves the tasks that produce a fact matching the parameter
java.util.Vector	TaskDb.findAll(Fact fact, java.util.Vector path)
java.util.Vector	TaskDb.findAll(Fact[] consumed, Fact[] produced, java.util.Vector path) Retrieves the tasks that produce and consume the same facts as the parameters
protected boolean	TaskDb.hasCondition(Fact[] test, Fact[] data)
protected boolean	TaskDb.hasCondition(Fact test, Fact[] data)
protected java.util.Vector	TaskDb.reduce(java.util.Hashtable List, Fact fact)
void	ZeusTask.setInputArgs(Fact[][] t)
void	ZeusTask.setExpectedOutputArgs(Fact[] f)
void	ZeusTask.setExpectedInputArgs(Fact[] f)
void	ZeusTask.setOutputArgs(Fact[] f)
void	ZeusTask.setOutputArgs(Fact[][] f)

Constructors in zeus.actors with parameters of type Fact

DataRec(Fact fact, PlanRecord record, int precond_position)

DataRec(Fact fact)

Uses of Fact in zeus.actors.event

Methods in zeus.actors.event that return Fact

Fact	FactEvent.getFact()

Uses of Fact in zeus.actors.rtn

Methods in zeus.actors.rtn with parameters of type Fact

void	Engine.addItemForSale(java.lang.String sellers_key, Fact fact)
protected java.lang.String	Engine.waitingToSell(Fact fact)

Uses of Fact in zeus.actors.rtn.util

Constructors in zeus.actors.rtn.util with parameters of type Fact

DelegationStruct(java.lang.String agent, java.lang.String type, java.lang.String key, Fact goal)

Uses of Fact in zeus.agents

Methods in zeus.agents with parameters of type Fact

java.lang.String	FIPA_DF_Services.agentDescToSL(Fact fact)
void	SimpleAPI.achieve(Fact[] toGet) achieve is used to make the agent attempt to satisfy the postcondition formed by the parameter toGet[] The array will be iterated over and a goal will be set for each of the facts that are passed.
void	SimpleAPI.addFact(Fact toAdd) addFact can be used to add a fact into the Zeus resourceDb (the agents beliefs) This will trigger any rules that match the fact, and will allow agents to acheive goals that can be met by exectuing tasks with preconditions that match the fact.
void	ZeusAgent.addFact(Fact aFact) Provides the agent with a new resource fact

Uses of Fact in zeus.agentviewer

Fields in zeus.agentviewer declared as Fact

private Fact	FactTableModel.fact
protected Fact	GoalDialog.fact

Methods in zeus.agentviewer that return Fact

Fact	FactTableModel.getFact()

Uses of Fact in zeus.agentviewer.acquaintances

Fields in zeus.agentviewer.acquaintances declared as Fact

private Fact

AttributesTableModel.fact

Methods in zeus.agentviewer.acquaintances that return Fact

Fact	AbilitiesTableModel.getAttributesof(int row)

Methods in zeus.agentviewer.acquaintances with parameters of type Fact

void	AttributesTableModel.setFact(Fact fact)

Uses of Fact in zeus.agentviewer.protocol

Fields in zeus.agentviewer.protocol declared as Fact

private Fact

AttributesModel.fact

Methods in zeus.agentviewer.protocol that return Fact

Fact	StrategyModel.getFact(int row)

Methods in zeus.agentviewer.protocol with parameters of type Fact

void	AttributesModel.setFact(Fact fact)

Uses of Fact in zeus.agentviewer.resources

Fields in zeus.agentviewer.resources declared as Fact

private Fact

FactAttributesTableModel.fact

Methods in zeus.agentviewer.resources that return Fact

Fact	ResourceTableModel.getAttributesOf(int row)

Methods in zeus.agentviewer.resources with parameters of type Fact

void	FactAttributesTableModel.setFact(Fact fact)

Uses of Fact in zeus.agentviewer.task

Fields in zeus.agentviewer.task declared as Fact

private Fact	ConditionsAttributeTableModel.data
private Fact[]	TaskConditionsTableModel.data

Methods in zeus.agentviewer.task that return Fact

Fact	TaskConditionsTableModel.getFact(int row)
Fact[]	TaskTableModel.getEffects(int row)
Fact[]	TaskTableModel.getPreConditions(int row)

Methods in zeus.agentviewer.task with parameters of type Fact

void	ConditionsAttributeTableModel.setFact(Fact fact)
void	TaskConditionsTableModel.setFacts(Fact[] data)

Uses of Fact in zeus.concepts

Fields in zeus.concepts declared as Fact

protected Fact	AbilitySpec.fact
protected Fact	FactSummary.fact
protected Fact	Goal.fact The fact description whose achievement is the objective of the goal
protected Fact	ResourceItem.fact
protected Fact	StrategyInfo.fact
protected Fact	SuppliedItem.fact

Methods in zeus.concepts that return Fact

Fact	AbilitySpec.getFact()
Fact[]	AgentDescription.getInitialFacts()
Fact	Fact.duplicate(java.lang.String name, GenSym genSym)
Fact	Fact.duplicate(DuplicationTable table)
Fact	FactSummary.getFact()
Fact	Goal.getFact()
Fact	OntologyDb.getFact(boolean is_variable, java.lang.String type) This method is used to create a new Fact from its ontology description
Fact	Parser.fact(OntologyDb db)
Fact[]	PrimitiveTask.getPostconditions()
Fact[]	PrimitiveTask.getOriginalPostconditions()
Fact[]	PrimitiveTask.getPreconditions()
Fact	PrimitiveTask.getPrecondition(java.lang.String fid)
Fact	PrimitiveTask.getPostcondition(java.lang.String fid)
Fact	PrimitiveTask.getPrecondition(int pos)
Fact	PrimitiveTask.getPostcondition(int pos)
Fact[][]	PrimitiveTask.orderPreconditions()
Fact	PrimitiveTask.getActiveEffect()
Fact[]	ReportRec.getPreconditions()
Fact[]	ReportRec.getPostconditions()
Fact	ResolutionContext.lookUp(java.lang.String fid)
Fact	ResourceItem.getFact()
Fact	StrategyInfo.getFact()
Fact[]	SummaryTask.getPostconditions()
Fact[]	SummaryTask.getPreconditions()
Fact[]	SummaryTask.allFacts()
Fact	SuppliedDb.evalLocal(Fact fact)
Fact[]	SuppliedDb.all(Fact fact)
Fact	SuppliedDb.any(Fact fact)
Fact	SuppliedItem.getFact()
abstract Fact[]	Task.getPostconditions()
abstract Fact[]	Task.getPreconditions()
Fact[]	TaskNode.getPostconditions()
Fact[]	TaskNode.getPreconditions()
Fact[]	TaskNode.getPostconditions(java.lang.String group)
Fact[]	TaskNode.getPreconditions(java.lang.String group)
Fact	TaskNode.getPrecondition(java.lang.String fid)
Fact	TaskNode.getPostcondition(java.lang.String fid)
Fact	TaskNode.getPrecondition(int pos)
Fact	TaskNode.getPostcondition(int pos)
Fact	TaskNode.getPrecondition(java.lang.String group, java.lang.String fid)
Fact	TaskNode.getPostcondition(java.lang.String group, java.lang.String fid)
Fact	TaskNode.getPrecondition(java.lang.String group, int pos)
Fact	TaskNode.getPostcondition(java.lang.String group, int pos)
static Fact	ZeusParser.fact(OntologyDb db, java.lang.String str)

Methods in zeus.concepts with parameters of type Fact

void	AgentDescription.setInitialFacts(Fact[] v)
boolean	Fact.unifiesWith(Fact f, Bindings bindings)
boolean	Fact.unifiesWithChild(Fact f, Bindings bindings)
boolean	Fact.disjoin(Fact f)
java.lang.String[]	Fact.buildMap(Fact mapper) test to see if any of the values in this fact are mapped to the valeus in the @param mapper, make a map of attno to attno for all the attributes so that they can be mapped in the method map
void	Fact.doMap(Fact mapper, java.lang.String[] tmap) map the values of the attributes in this fact to the values in the fact mapper. map is an array of ints such that map[1] = 3 indicates that the attribute value[3] of mapper should be mapped to the value 1 of this fact
void	Fact.map(Fact toMap)
void	FactSummary.setFact(Fact fact)
void	Goal.setFact(Fact fact)
boolean[]	OntologyDb.validateFact(Fact f1)
void	PrimitiveTask.setPostconditions(Fact[] List)
void	PrimitiveTask.setPreconditions(Fact[] List)
int	PrimitiveTask.getConsumedPos(Fact fact)
int	PrimitiveTask.getProducedPos(Fact fact)
void	ReportRec.setPostconditions(Fact[] List)
void	ReportRec.setPreconditions(Fact[] List)
void	ResolutionContext.add(Fact f1)
int	SuppliedDb.findAll(SuppliedRequester rec, Fact fact, int precond_position, int required)
Fact	SuppliedDb.evalLocal(Fact fact)
Fact[]	SuppliedDb.all(Fact fact)
Fact	SuppliedDb.any(Fact fact)
boolean	SuppliedDb.contains(Fact fact, int start)
void	TaskNode.setPostconditions(Fact[] List)
void	TaskNode.setPreconditions(Fact[] List)
void	TaskNode.setPostconditions(java.lang.String group, Fact[] List)
void	TaskNode.setPreconditions(java.lang.String group, Fact[] List)
int	TaskNode.getConsumedPos(Fact fact)
int	TaskNode.getProducedPos(Fact fact)
int	TaskNode.getConsumedPos(java.lang.String group, Fact fact)
int	TaskNode.getProducedPos(java.lang.String group, Fact fact)

Constructors in zeus.concepts with parameters of type Fact

AbilitySpec(java.lang.String name, Fact fact, int time, double cost)

AbilitySpec(Fact fact, int time, double cost)

ConditionalNode(java.lang.String name, Fact[] consumed)

Fact(Fact fact)

Fact(boolean is_variable, Fact fact)

FactSummary(Fact fact, java.lang.String status)

Goal(boolean type, java.lang.String id, Fact fact, java.lang.String desired_by)

Goal(java.lang.String id, Fact fact, int end_time, double cost, java.lang.String agent, double confirm)

Goal(java.lang.String id, Fact fact, int time, double cost, int priority, java.lang.String agent, Time replyTime, Time confirmTime)

Goal(java.lang.String id, Fact fact, int startTime, int endTime, double cost, int priority, int invocations, java.lang.String agent, Time replyTime, Time confirmTime)

PrimitiveTask(java.lang.String name, ValueFunction time, ValueFunction cost, Fact[] produced, Fact[] consumed, LogicalFn[] constraints, Ordering[] ordering)

PrimitiveTask(java.lang.String name, java.lang.String time, java.lang.String cost, Fact[] produced, Fact[] consumed, LogicalFn[] constraints, Ordering[] ordering)

ProtocolInfo(java.lang.String name, java.lang.String type, Fact fact)

ReportRec(java.lang.String name, java.lang.String goal, java.lang.String task, java.lang.String agent, int state, java.lang.String owner, java.lang.String root_id, java.lang.String parent, int s, int e, double c, java.util.Vector children, java.util.Vector siblings, java.util.Vector parents, Fact[] consumed, Fact[] produced)

ResourceItem(Fact fact)

StrategyInfo(Fact fact)

StrategyInfo(Fact fact, java.lang.String strategy)

StrategyInfo(Fact fact, java.lang.String strategy, java.lang.String[] agents, java.lang.String[] relations, java.util.Hashtable param)

StrategyInfo(Fact fact, java.lang.String[] agents, java.lang.String[] relations)

SuppliedItem(java.lang.String id, java.lang.String link, java.lang.String supplier, Fact fact)

TaskNode(java.lang.String name, Fact[] consumed, Fact[] produced)

Uses of Fact in zeus.concepts.fn

Fields in zeus.concepts.fn declared as Fact

protected Fact

FactFn.arg

Methods in zeus.concepts.fn that return Fact

Fact	FactFn.getFact()

Constructors in zeus.concepts.fn with parameters of type Fact

FactFn(Fact arg)

Uses of Fact in zeus.generator.agent

Fields in zeus.generator.agent declared as Fact

protected Fact[]

CoordinationPanel.clipboard

Methods in zeus.generator.agent that return Fact

protected Fact[]	CoordinationPanel.getSelectedRows()
protected Fact[]	CoordinationPanel.cutSelectedRows()

Methods in zeus.generator.agent with parameters of type Fact

void	StrategyModel.addRows(Fact[] input)

Uses of Fact in zeus.generator.event

Fields in zeus.generator.event declared as Fact

protected Fact

FactModelEvent.fact

Methods in zeus.generator.event that return Fact

Fact	FactModelEvent.getFact()

Constructors in zeus.generator.event with parameters of type Fact

FactModelEvent(java.lang.Object source, Fact fact, int type)

FactModelEvent(java.lang.Object source, Fact fact, int type, java.lang.String original, java.lang.String current)

Uses of Fact in zeus.generator.task

Methods in zeus.generator.task that return Fact

protected Fact[]	GroupManager.factArray(java.util.Vector input)
(package private) Fact[]	SummaryTaskModel.getConditions(int type)
Fact[]	SymBasicFactModel.getData()

Methods in zeus.generator.task with parameters of type Fact

void	GroupManager.resetManager(java.util.Hashtable input, Fact[] backup_input)
protected java.util.Vector	GroupManager.factVector(Fact[] input)

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

GroupManager(OntologyDb ontologyDb, AttributeModel attributeModel, boolean isVariable, int type, Fact[] input)

Uses of Fact in zeus.generator.task.rulebase

Methods in zeus.generator.task.rulebase with parameters of type Fact

java.lang.String

FactPanel.getAttributeValues(Fact f)

Uses of Fact in zeus.generator.util

Fields in zeus.generator.util declared as Fact

protected Fact	AttributeModel.fact
protected Fact[]	FactPanel.clipboard

Methods in zeus.generator.util that return Fact

Fact	AttributeModel.getData()
Fact[]	BasicFactModel.getData()
Fact[]	FactModel.getData()
Fact[]	FactPanel.getData()
protected Fact[]	FactPanel.getSelectedRows()
protected Fact[]	FactPanel.cutSelectedRows()

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

void	AttributeModel.reset(Fact fact)
void	FactModel.reset(Fact[] input)
void	FactModel.addRows(Fact[] input)
void	FactModel.removeRows(Fact[] input)
protected void	FactModel.fireFactEvent(Fact f, int type)
void	FactPanel.reset(Fact[] facts)

Constructors in zeus.generator.util with parameters of type Fact

FactModel(OntologyDb ontologyDb, AttributeModel attributeModel, boolean isVariable, int type, Fact[] input)

FactPanel(OntologyDb ontologyDb, javax.swing.event.ChangeListener editor, Fact[] facts, boolean isVariable, java.lang.String label)

FactPanel(OntologyDb ontologyDb, javax.swing.event.ChangeListener editor, Fact[] facts, boolean isVariable, int modifierType, java.lang.String label)

Uses of Fact in zeus.gui.dialog

Methods in zeus.gui.dialog with parameters of type Fact

void	IBrowseFact.ModifyFact(java.lang.String agent, Fact f)
void	IFactUI.add(Fact[] data)
void	IFactUI.add(Fact data)
void	IFactUI.add(java.lang.String agent, Fact[] data)
void	IFactUI.add(java.lang.String agent, Fact data)

Uses of Fact in zeus.rete

Fields in zeus.rete declared as Fact

private Fact	FactAction.fact
protected Fact	ReteEngine.initial_fact

Methods in zeus.rete that return Fact

Fact	FactAction.getFact()

Methods in zeus.rete with parameters of type Fact

void	ConflictSet.assertFact(Fact f1)
void	ConflictSet.retract(Fact f1)
void	FactAction.setFact(Fact fact)
void	LocalFactMonitor.reteFactAdded(Fact fact)
void	LocalFactMonitor.reteFactDeleted(Fact fact)
void	ReteEngine.update(int tag, Fact f) Update is the method which is called to decide if a rule should be fired or not when a fact is added to the ResourceDb.
(package private) void	ReteEngine.fireLocalFactMonitor(int tag, Fact f)

Uses of Fact in zeus.rete.action

Methods in zeus.rete.action with parameters of type Fact

private void	ModifyAction.retract(Fact f1)
void	ModifyAction.assertFact(Fact f1)
private void	RetractAction.retract(Fact f1)