Uses of Class
FAtiMA.Core.wellFormedNames.Substitution

Packages that use Substitution

Package	Description
FAtiMA.Core.conditions
FAtiMA.Core.goals
FAtiMA.Core.memory.episodicMemory
FAtiMA.Core.plans
FAtiMA.Core.sensorEffector
FAtiMA.Core.wellFormedNames

Uses of Substitution in FAtiMA.Core.conditions

Methods in FAtiMA.Core.conditions that return types with arguments of type Substitution

Modifier and Type	Method	Description
protected ArrayList<Substitution>	PropertyCondition.GetBindings(AgentModel am, Name groundValue, Name value)
protected abstract ArrayList<Substitution>	Condition.GetValueBindings(AgentModel am)	Find a set of Substitutions for the second part of the condition, which will make it become true.
ArrayList<Substitution>	MoodCondition.GetValueBindings(AgentModel am)
protected ArrayList<Substitution>	PredicateCondition.GetValueBindings(AgentModel am)	Find a set of Substitutions for the second part of the Predicate, which will make it become true.
protected ArrayList<Substitution>	PropertyCondition.GetValueBindings(AgentModel am)	Find a set of Substitutions for the second part of the condition, which will make it become true.
protected ArrayList<Substitution>	PropertyNotEqual.GetValueBindings()

Methods in FAtiMA.Core.conditions with parameters of type Substitution

Modifier and Type	Method	Description
void	Condition.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	EmotionCondition.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	PastEventCondition.MakeGround(Substitution subst)
void	PropertyCondition.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.

Method parameters in FAtiMA.Core.conditions with type arguments of type Substitution

Modifier and Type	Method	Description
void	Condition.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
void	EmotionCondition.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
void	PastEventCondition.MakeGround(ArrayList<Substitution> bindings)
void	PropertyCondition.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.

Uses of Substitution in FAtiMA.Core.goals

Fields in FAtiMA.Core.goals with type parameters of type Substitution

Modifier and Type	Field	Description
protected ArrayList<Substitution>	Goal._appliedSubstitutions

Methods in FAtiMA.Core.goals that return types with arguments of type Substitution

Modifier and Type	Method	Description
ArrayList<Substitution>	Goal.getAppliedSubstitutions()

Methods in FAtiMA.Core.goals with parameters of type Substitution

Modifier and Type	Method	Description
void	ActivePursuitGoal.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
abstract void	Goal.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	InterestGoal.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.

Method parameters in FAtiMA.Core.goals with type arguments of type Substitution

Modifier and Type	Method	Description
void	ActivePursuitGoal.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
abstract void	Goal.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
void	InterestGoal.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.

Uses of Substitution in FAtiMA.Core.memory.episodicMemory

Methods in FAtiMA.Core.memory.episodicMemory with parameters of type Substitution

Modifier and Type	Method	Description
void	ActionDetail.applySubstitution(Substitution s)
void	AutobiographicalMemory.applySubstitution(Substitution s)
void	EpisodicMemory.applySubstitution(Substitution s)
void	MemoryEpisode.applySubstitution(Substitution s)
void	ShortTermEpisodicMemory.applySubstitution(Substitution s)

Uses of Substitution in FAtiMA.Core.plans

Methods in FAtiMA.Core.plans with parameters of type Substitution

Modifier and Type	Method	Description
void	Plan.AddBindingConstraint(Substitution bind)	Adds a binding constraint to the plan of the form [X]/John or [X]/[X23] or [X]!=Luke
void	Effect.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	Step.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.

Method parameters in FAtiMA.Core.plans with type arguments of type Substitution

Modifier and Type	Method	Description
void	Plan.AddBindingConstraints(ArrayList<Substitution> substs)	Adds a set of binding constraint to the plan of the form [X]/John or [X]/[X23] or [X]!=Luke
void	Effect.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
void	Step.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.

Uses of Substitution in FAtiMA.Core.sensorEffector

Methods in FAtiMA.Core.sensorEffector that return types with arguments of type Substitution

Modifier and Type	Method	Description
ArrayList<Substitution>	Event.GenerateBindings()	Generates a List of bindings that associate the Variables [Subject], [Action],[Target],[P1],[P2],...

Method parameters in FAtiMA.Core.sensorEffector with type arguments of type Substitution

Modifier and Type	Method	Description
void	Event.MakeGround(ArrayList<Substitution> substitutions)	Applies a set of substitutions to the object, grounding it.

Uses of Substitution in FAtiMA.Core.wellFormedNames

Subclasses of Substitution in FAtiMA.Core.wellFormedNames

Modifier and Type	Class	Description
class	Inequality	Represents the condition that a variable cannot have a specified value.

Methods in FAtiMA.Core.wellFormedNames that return types with arguments of type Substitution

Modifier and Type	Method	Description
ArrayList<Substitution>	SubstitutionSet.GetSubstitutions()	Gets a list with all the substitutions stored in the SubstitutionSet
static ArrayList<Substitution>	Unifier.Unify(Name n1, Name n2)

Methods in FAtiMA.Core.wellFormedNames with parameters of type Substitution

Modifier and Type	Method	Description
void	SubstitutionSet.AddSubstitution(Substitution subst)	Adds a given Substitution to the SubstitutionSet
void	ComposedName.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	IGroundable.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	Inequality.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.
void	Symbol.MakeGround(Substitution subst)	Applies a set of substitutions to the object, grounding it.

Method parameters in FAtiMA.Core.wellFormedNames with type arguments of type Substitution

Modifier and Type	Method	Description
void	SubstitutionSet.AddSubstitutions(ArrayList<Substitution> substs)	Adds a list of Substitutions to the SubstitutionSet
void	ComposedName.MakeGround(ArrayList<Substitution> bindingConstraints)	Applies a set of substitutions to the object, grounding it.
void	IGroundable.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
void	Inequality.MakeGround(ArrayList<Substitution> substs)
void	Symbol.MakeGround(ArrayList<Substitution> bindings)	Applies a set of substitutions to the object, grounding it.
static boolean	Unifier.Unify(Name n1, Name n2, ArrayList<Substitution> bindings)

Constructors in FAtiMA.Core.wellFormedNames with parameters of type Substitution

Modifier	Constructor	Description
	Inequality(Substitution subst)	Creates a new Inequality Condition from an existing Substitution (by negating the Substitution)

Constructor parameters in FAtiMA.Core.wellFormedNames with type arguments of type Substitution

Modifier	Constructor	Description
	SubstitutionSet(ArrayList<Substitution> substitutions)	Creates a new Set of substitutions and adds all substitutions received in the argument