Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
jason.asSemantics.Unifier

Packages that use Unifier
jason.asSemantics |
jason.asSyntax |
jason.bb |
jason.stdlib | Provides all default internal actions of Jason.

Uses of Unifier in jason.asSemantics

Fields in jason.asSemantics declared as Unifier
`protected Unifier` | `IntendedMeans.unif`

Methods in jason.asSemantics that return Unifier
`Unifier` | `Unifier.clone()`
`Unifier` | `IntendedMeans.getUnif()`
`Unifier` | `Option.getUnifier()`

Methods in jason.asSemantics with parameters of type Unifier
`void` | `Agent.abolish(Literal bel, Unifier un)` Removes all occurrences of bel in BB.
`boolean` | `Agent.believes(LogicalFormula bel, Unifier un)` Returns true if BB contains the literal bel (using unification to test).
`void` | `Unifier.compose(Unifier u)` add all unifications from u
`boolean` | `Intention.dropGoal(Trigger te, Unifier un)` remove all IMs until the IM with trigger te
`java.lang.Object` | `InternalAction.execute(TransitionSystem ts, Unifier un, Term[] args)` Executes the internal action.
`java.lang.Object` | `DefaultInternalAction.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `ConcurrentInternalAction.execute(TransitionSystem ts, Unifier un, Term[] args)`
`Literal` | `Agent.findBel(Literal bel, Unifier un)` Find a literal in BB using unification to test.
`IntendedMeans` | `Intention.getIM(Trigger g, Unifier u)` returns the IntendedMeans with TE = g, returns null if there isn't one
`boolean` | `Intention.hasTrigger(Trigger g, Unifier u)` returns true if the intention has an IM where TE = g, using u to verify equality
`Term[]` | `InternalAction.prepareArguments(Literal body, Unifier un)` Prepare body's terms to be used in 'execute', normally it consist of cloning and applying each term
`Term[]` | `DefaultInternalAction.prepareArguments(Literal body, Unifier un)`
`Term[]` | `ConcurrentInternalAction.prepareArguments(Literal body, Unifier un)`
`void` | `IntendedMeans.setUnif(Unifier unif)`
`void` | `Option.setUnifier(Unifier u)`

Constructors in jason.asSemantics with parameters of type Unifier
`Option(Plan p, Unifier u)`

Uses of Unifier in jason.asSyntax

Fields in jason.asSyntax with type parameters of type Unifier
`static java.util.List<Unifier>` | `LogExpr.EMPTY_UNIF_LIST`

Methods in jason.asSyntax that return Unifier
`Unifier` | `Plan.isRelevant(Trigger te)` returns an unifier if this plan is relevant for the event te, returns null otherwise.

Methods in jason.asSyntax that return types with arguments of type Unifier
`static java.util.Iterator<Unifier>` | `LogExpr.createUnifIterator(Unifier... unifs)` creates an iterator for a list of unifiers
`java.util.Iterator<Unifier>` | `VarTerm.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `RelExpr.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `PlanBodyImpl.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `LogicalFormula.logicalConsequence(Agent ag, Unifier un)` Checks whether the formula is a logical consequence of the belief base.
`java.util.Iterator<Unifier>` | `LogExpr.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `Literal.logicalConsequence(Agent ag, Unifier un)` logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.
`java.util.Iterator<Unifier>` | `ListTermImpl.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `InternalActionLiteral.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `ArithFunctionTerm.logicalConsequence(Agent ag, Unifier un)`

Methods in jason.asSyntax with parameters of type Unifier
`boolean` | `VarTerm.apply(Unifier u)`
`boolean` | `Trigger.apply(Unifier u)`
`boolean` | `Term.apply(Unifier u)` replaces variables by their values in the unifier, returns true if some variable was applied
`boolean` | `Structure.apply(Unifier u)`
`boolean` | `Pred.apply(Unifier u)`
`boolean` | `PlanBodyImpl.apply(Unifier u)`
`boolean` | `ListTermImpl.apply(Unifier u)`
`boolean` | `DefaultTerm.apply(Unifier u)`
`boolean` | `ArithFunctionTerm.apply(Unifier u)` Does a "normal" apply and then solve the expression and store the result, so future calls of solve do not need to compute the value again
`static java.util.Iterator<Unifier>` | `LogExpr.createUnifIterator(Unifier... unifs)` creates an iterator for a list of unifiers
`boolean` | `VarTerm.hasSubsetAnnot(Literal p, Unifier u)`
`boolean` | `Pred.hasSubsetAnnot(Literal p, Unifier u)`
`boolean` | `Literal.hasSubsetAnnot(Literal p, Unifier u)` Returns true if all this predicate's annots are in p's annots using the unifier u.
`java.util.Iterator<Unifier>` | `VarTerm.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `RelExpr.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `PlanBodyImpl.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `LogicalFormula.logicalConsequence(Agent ag, Unifier un)` Checks whether the formula is a logical consequence of the belief base.
`java.util.Iterator<Unifier>` | `LogExpr.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `Literal.logicalConsequence(Agent ag, Unifier un)` logicalConsequence checks whether one particular predicate is a logical consequence of the belief base.
`java.util.Iterator<Unifier>` | `ListTermImpl.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `InternalActionLiteral.logicalConsequence(Agent ag, Unifier un)`
`java.util.Iterator<Unifier>` | `ArithFunctionTerm.logicalConsequence(Agent ag, Unifier un)`
`Literal` | `VarTerm.makeVarsAnnon(Unifier un)`
`Literal` | `Structure.makeVarsAnnon(Unifier un)`
`Literal` | `Rule.makeVarsAnnon(Unifier un)`
`Literal` | `Pred.makeVarsAnnon(Unifier un)`
`Literal` | `Literal.makeVarsAnnon(Unifier un)` replaces all variables of the term for unnamed variables (_).
`Literal` | `ArithFunctionTerm.makeVarsAnnon(Unifier un)`
`protected VarTerm` | `Structure.varToReplace(Term t, Unifier un)`

Uses of Unifier in jason.bb

Methods in jason.bb with parameters of type Unifier
`java.util.Iterator<Literal>` | `JDBCPersistentBB.getCandidateBeliefs(Literal l, Unifier u)`
`java.util.Iterator<Literal>` | `DefaultBeliefBase.getCandidateBeliefs(Literal l, Unifier u)`
`java.util.Iterator<Literal>` | `ChainBBAdapter.getCandidateBeliefs(Literal l, Unifier u)`
`java.util.Iterator<Literal>` | `BeliefBase.getCandidateBeliefs(Literal l, Unifier u)` Returns an iterator for all literals relevant for l's predicate indicator, if l is a var, returns all beliefs. The unifier u may contain values for variables in l.

Uses of Unifier in jason.stdlib

Methods in jason.stdlib with parameters of type Unifier
`Term` | `add_nested_source.addAnnotToList(Unifier unif, Term l, Term source)`
`protected Term` | `add_annot.addAnnotToList(Unifier unif, Term l, Term annot)`
`boolean` | `desire.desires(Circumstance C, Literal l, Unifier un)`
`void` | `succeed_goal.drop(TransitionSystem ts, Literal l, Unifier un)`
`void` | `drop_desire.dropEvt(Circumstance C, Literal l, Unifier un)`
`void` | `drop_intention.dropInt(Circumstance C, Literal l, Unifier un)`
`java.lang.Object` | `wait.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `union.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `time.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `term2string.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `suspended.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `suspend.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `suffix.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `succeed_goal.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `substring.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `sublist.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `structure.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `string.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `stopMAS.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `sort.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `send.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `reverse.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `resume.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `remove_plan.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `relevant_plans.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `range.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `random.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `puts.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `println.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `prefix.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `plan_label.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `perceive.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `number.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `nth.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `my_name.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `min.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `member.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `loop.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `literal.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `list_plans.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `list.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `length.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `kill_agent.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `intersection.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `intend.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `if_then_else.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `ground.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `foreach.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `findall.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `fail_goal.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `fail.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `drop_intention.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `drop_event.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `drop_desire.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `drop_all_intentions.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `drop_all_events.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `drop_all_desires.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `difference.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `desire.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `delete.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `date.execute(TransitionSystem ts, Unifier un, Term[] args)` date(YY,MM,DD)
`java.lang.Object` | `current_intention.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `create_agent.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `count.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `concat.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `broadcast.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `atom.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `at.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `all_names.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `add_plan.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `add_nested_source.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `add_annot.execute(TransitionSystem ts, Unifier un, Term[] args)`
`java.lang.Object` | `abolish.execute(TransitionSystem ts, Unifier un, Term[] args)`
`boolean` | `intend.intends(Circumstance C, Literal l, Unifier un)`
`Term[]` | `loop.prepareArguments(Literal body, Unifier un)`
`Term[]` | `if_then_else.prepareArguments(Literal body, Unifier un)`
`Term[]` | `foreach.prepareArguments(Literal body, Unifier un)`
`Term[]` | `findall.prepareArguments(Literal body, Unifier un)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES