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 that return types with arguments of type Unifier
protected  java.util.Iterator<Unifier> desire.allDesires(Circumstance C, Literal l, Unifier un)
           
protected  java.util.Iterator<Unifier> intend.allIntentions(Circumstance C, Literal l, Unifier un)
           
 

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)
           
protected  java.util.Iterator<Unifier> desire.allDesires(Circumstance C, Literal l, Unifier un)
           
protected  java.util.Iterator<Unifier> intend.allIntentions(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 setof.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 eval.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 clone.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)
           
 Term[] setof.prepareArguments(Literal body, 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)
           
 Term[] eval.prepareArguments(Literal body, Unifier un)
           
 

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