Index

A B C D E F G H I L M N O P Q R S T U V W
All Classes All Packages

A

AbstractAction - Class in astra.tr

AbstractAction() - Constructor for class astra.tr.AbstractAction

AbstractElement - Class in astra.core

AbstractElement() - Constructor for class astra.core.AbstractElement

AbstractEvaluateVisitor - Class in astra.reasoner.util

AbstractEvaluateVisitor(boolean) - Constructor for class astra.reasoner.util.AbstractEvaluateVisitor

AbstractEvaluateVisitor.Handler<T> - Interface in astra.reasoner.util

AbstractStatement - Class in astra.statement

AbstractStatement() - Constructor for class astra.statement.AbstractStatement

AbstractStatementHandler - Class in astra.statement

AbstractStatementHandler() - Constructor for class astra.statement.AbstractStatementHandler

AbstractTask - Class in astra.core

AbstractTask() - Constructor for class astra.core.AbstractTask

AbstractTask(String) - Constructor for class astra.core.AbstractTask

accept(LogicVisitor) - Method in class astra.core.GoalRule

accept(LogicVisitor) - Method in class astra.core.Rule

accept(LogicVisitor) - Method in class astra.event.BeliefEvent

accept(LogicVisitor) - Method in interface astra.event.Event

accept(LogicVisitor) - Method in class astra.event.GoalEvent

accept(LogicVisitor) - Method in class astra.event.ModuleEvent

accept(LogicVisitor) - Method in class astra.event.ScopedBeliefEvent

accept(LogicVisitor) - Method in class astra.formula.AcreFormula

accept(LogicVisitor) - Method in class astra.formula.AND

accept(LogicVisitor) - Method in class astra.formula.Bind

accept(LogicVisitor) - Method in class astra.formula.BracketFormula

accept(LogicVisitor) - Method in class astra.formula.Comparison

accept(LogicVisitor) - Method in interface astra.formula.Formula

accept(LogicVisitor) - Method in class astra.formula.FormulaVariable

accept(LogicVisitor) - Method in class astra.formula.Goal

accept(LogicVisitor) - Method in class astra.formula.Inference

accept(LogicVisitor) - Method in class astra.formula.IsDone

accept(LogicVisitor) - Method in class astra.formula.IsNull

accept(LogicVisitor) - Method in class astra.formula.ModuleFormula

accept(LogicVisitor) - Method in class astra.formula.NOT

accept(LogicVisitor) - Method in class astra.formula.OR

accept(LogicVisitor) - Method in class astra.formula.Predicate

accept(LogicVisitor) - Method in class astra.formula.ScopedGoal

accept(LogicVisitor) - Method in class astra.messaging.MessageEvent

accept(LogicVisitor) - Method in class astra.messaging.Utilities.PredicateState

accept(LogicVisitor) - Method in class astra.term.AtIndex

accept(LogicVisitor) - Method in class astra.term.Brackets

accept(LogicVisitor) - Method in class astra.term.Count

accept(LogicVisitor) - Method in class astra.term.FormulaTerm

accept(LogicVisitor) - Method in class astra.term.FromJson

accept(LogicVisitor) - Method in class astra.term.Funct

accept(LogicVisitor) - Method in class astra.term.Head

accept(LogicVisitor) - Method in class astra.term.ListSplitter

accept(LogicVisitor) - Method in class astra.term.ListTerm

accept(LogicVisitor) - Method in class astra.term.ModuleTerm

accept(LogicVisitor) - Method in class astra.term.NullTerm

accept(LogicVisitor) - Method in class astra.term.Operator

accept(LogicVisitor) - Method in class astra.term.Performative

accept(LogicVisitor) - Method in class astra.term.Primitive

accept(LogicVisitor) - Method in class astra.term.QueryTerm

accept(LogicVisitor) - Method in class astra.term.Tail

accept(LogicVisitor) - Method in interface astra.term.Term

accept(LogicVisitor) - Method in class astra.term.ToJson

accept(LogicVisitor) - Method in class astra.term.Variable

aclRepresentation - Variable in class astra.messaging.AstraMessage

AcreFormula - Class in astra.formula

AcreFormula(Term, Term, Term, Term, Formula) - Constructor for class astra.formula.AcreFormula

AcreFormulaUnifier - Class in astra.reasoner.unifier

AcreFormulaUnifier() - Constructor for class astra.reasoner.unifier.AcreFormulaUnifier

act() - Method in class astra.core.Agent.Promise

Action - Interface in astra.tr

ActionHandler - Interface in astra.tr

ActionParam<T> - Class in astra.core

ActionParam() - Constructor for class astra.core.ActionParam

ActionParam(T) - Constructor for class astra.core.ActionParam

ACTIVE - Static variable in class astra.core.Agent

ACTIVE - Static variable in class astra.core.Scheduler

AdaptiveSchedulerStrategy - Class in astra.execution

AdaptiveSchedulerStrategy() - Constructor for class astra.execution.AdaptiveSchedulerStrategy

adaptor - Variable in class astra.event.ModuleEvent

adaptor() - Method in class astra.event.ModuleEvent

adaptor() - Method in class astra.formula.ModuleFormula

adaptor() - Method in class astra.term.ModuleTerm

add(int, Term) - Method in class astra.term.ListTerm

add(Term) - Method in class astra.term.ListTerm

addAgentMessageListener(AgentMessageListener) - Method in class astra.core.Agent

addAll(int, Collection<? extends Term>) - Method in class astra.term.ListTerm

addAll(Collection<? extends Term>) - Method in class astra.term.ListTerm

addBelief(Predicate) - Method in class astra.core.BeliefStore

addBelief(Predicate) - Method in class astra.core.EventBeliefManager

addBelief(Predicate) - Method in class astra.core.HierarchicalBeliefStore

addBelief(Predicate) - Method in class astra.core.Intention

addBelief(Predicate) - Method in class astra.tr.TRContext

addBindings(Map<Integer, Term>) - Method in class astra.core.RuleExecutor

addEvent(Event) - Method in class astra.core.Agent

addEvent(Event) - Method in class astra.core.Intention

addFormulaHandler(AbstractEvaluateVisitor.Handler<T>) - Static method in class astra.reasoner.util.AbstractEvaluateVisitor

addFormulaHandler(BindingsEvaluateVisitor.Handler<T>) - Static method in class astra.reasoner.util.BindingsEvaluateVisitor

addFormulaHandler(ContextEvaluateVisitor.Handler<T>) - Static method in class astra.reasoner.util.ContextEvaluateVisitor

addFormulaHandler(RenameVisitor.Handler<T>) - Static method in class astra.reasoner.util.RenameVisitor

addFormulaHandler(VariableVisitor.Handler<T>) - Static method in class astra.reasoner.util.VariableVisitor

addFunction(Function) - Method in class astra.core.ASTRAClass

addGoal(Goal) - Method in class astra.core.Intention

addGoals(Queue<Formula>, Goal) - Method in class astra.core.Intention

addGoals(Queue<Formula>, Goal) - Method in class astra.core.RuleExecutor

addGoals(Queue<Formula>, Goal) - Method in class astra.core.StatementExecutor

addGoals(Queue<Formula>, Goal) - Method in class astra.statement.AbstractStatementHandler

addGoals(Queue<Formula>, Goal) - Method in interface astra.statement.StatementHandler

addInference(Inference) - Method in class astra.core.ASTRAClass

addIntention(Intention) - Method in class astra.core.Agent

ADDITION - Static variable in interface astra.event.Event

ADDITION - Static variable in class astra.statement.BeliefUpdate

ADDITION - Static variable in class astra.tr.TRBeliefUpdate

addListener(DebuggerListener) - Method in class astra.debugger.DebuggerAPI

addListener(TraceEventListener) - Method in class astra.trace.TraceManager

addMatchingBeliefs(Queue<Formula>, Predicate) - Method in class astra.core.BeliefStore

addMatchingFormulae(Queue<Formula>, Formula) - Method in class astra.core.Agent

addMatchingFormulae(Queue<Formula>, Formula) - Method in class astra.core.ASTRAClass

addMatchingFormulae(Queue<Formula>, Formula) - Method in class astra.core.EventBeliefManager

addMatchingFormulae(Queue<Formula>, Formula) - Method in interface astra.reasoner.Queryable

addModule(String, Class<?>, Agent) - Method in class astra.core.Fragment

addModule(String, Class<?>, Term[], Agent) - Method in class astra.core.Fragment

addModule(String, String, Agent) - Method in class astra.core.Fragment

addPromise(Agent.Promise) - Method in class astra.core.Agent

addRule(Rule) - Method in class astra.core.ASTRAClass

addRule(Rule) - Method in class astra.core.GoalRule

addScopedBelief(String, Predicate) - Method in class astra.core.EventBeliefManager

addScopedBelief(String, Predicate) - Method in class astra.core.Intention

addScopedGoal(String, Goal) - Method in class astra.core.Intention

addSensorAdaptor(SensorAdaptor) - Method in class astra.core.Agent

addSource(Queryable) - Method in class astra.core.Agent

addSource(Queryable) - Method in class astra.reasoner.NewReasoner

addSource(Queryable) - Method in interface astra.reasoner.Reasoner

addStatement(StatementHandler) - Method in class astra.core.RuleExecutor

addStatement(StatementHandler, Map<Integer, Term>) - Method in class astra.core.RuleExecutor

addSubGoal(Event, Rule, Map<Integer, Term>, RuleExecutor) - Method in class astra.core.Intention

addTermHandler(AbstractEvaluateVisitor.Handler<T>) - Static method in class astra.reasoner.util.AbstractEvaluateVisitor

addTermHandler(BindingsEvaluateVisitor.Handler<T>) - Static method in class astra.reasoner.util.BindingsEvaluateVisitor

addTermHandler(ContextEvaluateVisitor.Handler<T>) - Static method in class astra.reasoner.util.ContextEvaluateVisitor

addTermHandler(RenameVisitor.Handler<T>) - Static method in class astra.reasoner.util.RenameVisitor

addTermHandler(VariableVisitor.Handler<T>) - Static method in class astra.reasoner.util.VariableVisitor

addUnboundVariables(Set<Variable>) - Method in class astra.core.RuleExecutor

addVariable(Variable) - Method in class astra.core.RuleExecutor

addVariable(Variable, Term) - Method in class astra.core.RuleExecutor

age - Variable in class astra.core.Intention

agent - Variable in class astra.core.Intention

agent - Variable in class astra.core.Module

agent() - Method in class astra.reasoner.NewReasoner

agent() - Method in interface astra.reasoner.Reasoner

agent() - Method in class astra.reasoner.util.BindingsEvaluateVisitor

Agent - Class in astra.core

Agent(String) - Constructor for class astra.core.Agent

Agent.Notification - Class in astra.core

This class models the notifications that are generated when an asynchronously executed action completes.

Agent.Promise - Class in astra.core

Promises are used to implement WAIT statements.

AgentCreationException - Exception in astra.core

AgentCreationException(String) - Constructor for exception astra.core.AgentCreationException

AgentMessageListener - Interface in astra.core

agentNames() - Static method in class astra.core.Agent

AND - Class in astra.formula

AND(Formula, Formula) - Constructor for class astra.formula.AND

ANDReasonerNode - Class in astra.reasoner.node

ANDReasonerNode(ReasonerNode, AND, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.ANDReasonerNode

ANDReasonerNodeFactory - Class in astra.reasoner.node

ANDReasonerNodeFactory() - Constructor for class astra.reasoner.node.ANDReasonerNodeFactory

ANDUnifier - Class in astra.reasoner.unifier

ANDUnifier() - Constructor for class astra.reasoner.unifier.ANDUnifier

applyActionParams() - Method in class astra.core.Intention

Assignment - Class in astra.statement

Assignment(Variable, Term) - Constructor for class astra.statement.Assignment

Assignment(Variable, String, int[], Term) - Constructor for class astra.statement.Assignment

astra.core - package astra.core

astra.debugger - package astra.debugger

astra.event - package astra.event

astra.execution - package astra.execution

astra.formula - package astra.formula

astra.messaging - package astra.messaging

astra.reasoner - package astra.reasoner

astra.reasoner.node - package astra.reasoner.node

astra.reasoner.unifier - package astra.reasoner.unifier

astra.reasoner.util - package astra.reasoner.util

astra.statement - package astra.statement

astra.term - package astra.term

astra.tr - package astra.tr

astra.trace - package astra.trace

astra.type - package astra.type

ASTRAClass - Class in astra.core

ASTRAClass() - Constructor for class astra.core.ASTRAClass

ASTRAClassLoader - Class in astra.core

ASTRAClassLoader() - Constructor for class astra.core.ASTRAClassLoader

ASTRAClassNotFoundException - Exception in astra.core

ASTRAClassNotFoundException(String) - Constructor for exception astra.core.ASTRAClassNotFoundException

ASTRAClassNotFoundException(String, Throwable) - Constructor for exception astra.core.ASTRAClassNotFoundException

AstraMessage - Class in astra.messaging

Implementation of FIPA ACL Messaging Representation in String.

AstraMessage() - Constructor for class astra.messaging.AstraMessage

AtIndex - Class in astra.term

AtIndex(Term, Term, Type) - Constructor for class astra.term.AtIndex

B

BasicSchedulerStrategy - Class in astra.execution

BasicSchedulerStrategy() - Constructor for class astra.execution.BasicSchedulerStrategy

beginLine() - Method in class astra.core.AbstractElement

beginLine() - Method in interface astra.statement.Statement

beginLine() - Method in class astra.tr.AbstractAction

beginLine() - Method in interface astra.tr.Action

belief - Variable in class astra.event.BeliefEvent

belief() - Method in class astra.event.BeliefEvent

beliefEvent() - Method in class astra.event.ScopedBeliefEvent

BeliefEvent - Class in astra.event

BeliefEvent(char, Predicate) - Constructor for class astra.event.BeliefEvent

BeliefEventUnifier - Class in astra.reasoner.unifier

BeliefEventUnifier() - Constructor for class astra.reasoner.unifier.BeliefEventUnifier

BeliefIterator - Class in astra.reasoner

BeliefIterator(List<Queryable>, Predicate) - Constructor for class astra.reasoner.BeliefIterator

beliefs() - Method in class astra.core.Agent

beliefs() - Method in class astra.core.BeliefStore

beliefs() - Method in class astra.core.EventBeliefManager

beliefs() - Method in class astra.core.HierarchicalBeliefStore

BeliefStore - Class in astra.core

Container for storing beliefs.

BeliefStore() - Constructor for class astra.core.BeliefStore

BeliefUpdate - Class in astra.statement

BeliefUpdate(char, Predicate) - Constructor for class astra.statement.BeliefUpdate

BeliefUpdate(char, String, int[], Predicate) - Constructor for class astra.statement.BeliefUpdate

Bind - Class in astra.formula

Bind(Variable, Term) - Constructor for class astra.formula.Bind

bindings() - Method in class astra.core.Intention

bindings() - Method in class astra.core.RuleExecutor

bindings() - Method in class astra.core.StatementExecutor

bindings() - Method in class astra.reasoner.util.RenameVisitor

BindingsEvaluateVisitor - Class in astra.reasoner.util

BindingsEvaluateVisitor(Map<Integer, Term>, Agent) - Constructor for class astra.reasoner.util.BindingsEvaluateVisitor

BindingsEvaluateVisitor.Handler<T> - Interface in astra.reasoner.util

BindReasonerNode - Class in astra.reasoner.node

BindReasonerNode(ReasonerNode, Bind, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.BindReasonerNode

BindReasonerNodeFactory - Class in astra.reasoner.node

BindReasonerNodeFactory() - Constructor for class astra.reasoner.node.BindReasonerNodeFactory

Block - Class in astra.statement

Block(Statement[]) - Constructor for class astra.statement.Block

Block(String, int[], Statement[]) - Constructor for class astra.statement.Block

body() - Method in class astra.formula.Inference

BOOLEAN - Static variable in class astra.type.Type

BracketFormula - Class in astra.formula

BracketFormula(Formula) - Constructor for class astra.formula.BracketFormula

BracketReasonerNode - Class in astra.reasoner.node

BracketReasonerNode(ReasonerNode, BracketFormula, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.BracketReasonerNode

BracketReasonerNodeFactory - Class in astra.reasoner.node

BracketReasonerNodeFactory() - Constructor for class astra.reasoner.node.BracketReasonerNodeFactory

Brackets - Class in astra.term

Brackets(Term) - Constructor for class astra.term.Brackets

Breakpoint - Class in astra.debugger

Breakpoint(String, int) - Constructor for class astra.debugger.Breakpoint

BreakpointCommand - Class in astra.debugger

BreakpointCommand() - Constructor for class astra.debugger.BreakpointCommand

Breakpoints - Class in astra.debugger

Breakpoints() - Constructor for class astra.debugger.Breakpoints

Breakpoints.State - Class in astra.debugger

buildFailureTrace(Stack<StatementHandler>) - Method in class astra.core.RuleExecutor

buildFailureTrace(Stack<StatementHandler>) - Method in class astra.core.StatementExecutor

C

callFunction(Predicate) - Method in class astra.tr.TRContext

CHANGEOPS - Static variable in class astra.debugger.ChangeRequest

ChangeRequest - Class in astra.debugger

ChangeRequest(SocketChannel, int, int) - Constructor for class astra.debugger.ChangeRequest

CHAR - Static variable in class astra.type.Type

check(Agent, Rule, Event, Map<Integer, Term>) - Method in class astra.debugger.Breakpoints

check(Agent, Rule, Formula, List<Map<Integer, Term>>) - Method in class astra.debugger.Breakpoints

check(Agent, Statement) - Method in class astra.debugger.Breakpoints

checkEvent(Event) - Method in class astra.core.Intention

children - Variable in class astra.reasoner.node.ReasonerNode

cid() - Method in class astra.formula.AcreFormula

clear() - Method in class astra.core.BeliefStore

clear() - Method in class astra.term.ListTerm

Client - Class in astra.debugger

Client() - Constructor for class astra.debugger.Client

clone() - Method in class astra.formula.Predicate

clone() - Method in class astra.term.AtIndex

clone() - Method in class astra.term.Brackets

clone() - Method in class astra.term.Count

clone() - Method in class astra.term.FormulaTerm

clone() - Method in class astra.term.FromJson

clone() - Method in class astra.term.Funct

clone() - Method in class astra.term.Head

clone() - Method in class astra.term.ListSplitter

clone() - Method in class astra.term.ListTerm

clone() - Method in class astra.term.ModuleTerm

clone() - Method in class astra.term.NullTerm

clone() - Method in class astra.term.Operator

clone() - Method in class astra.term.Performative

clone() - Method in class astra.term.Primitive

clone() - Method in class astra.term.QueryTerm

clone() - Method in class astra.term.Tail

clone() - Method in interface astra.term.Term

clone() - Method in class astra.term.ToJson

clone() - Method in class astra.term.Variable

compareTo(Breakpoint) - Method in class astra.debugger.Breakpoint

Comparison - Class in astra.formula

Comparison(String, Term, Term) - Constructor for class astra.formula.Comparison

ComparisonReasonerNode - Class in astra.reasoner.node

ComparisonReasonerNode(ReasonerNode, Comparison, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.ComparisonReasonerNode

ComparisonReasonerNodeFactory - Class in astra.reasoner.node

ComparisonReasonerNodeFactory() - Constructor for class astra.reasoner.node.ComparisonReasonerNodeFactory

CompositeAction - Class in astra.tr

CompositeAction(Action...) - Constructor for class astra.tr.CompositeAction

configure(String, String) - Method in class astra.messaging.LocalMQService

configure(String, String) - Method in class astra.messaging.MessageService

configure(String, String) - Method in class astra.messaging.UDPMQService

contains(Object) - Method in class astra.term.ListTerm

containsAll(Collection<?>) - Method in class astra.term.ListTerm

containsBelief(Predicate) - Method in class astra.core.BeliefStore

content - Variable in class astra.messaging.AstraMessage

content() - Method in class astra.formula.AcreFormula

content() - Method in class astra.messaging.MessageEvent

ContentCodec - Class in astra.reasoner.util

ContentCodec() - Constructor for class astra.reasoner.util.ContentCodec

context - Variable in class astra.core.Rule

ContextEvaluateVisitor - Class in astra.reasoner.util

ContextEvaluateVisitor(Intention) - Constructor for class astra.reasoner.util.ContextEvaluateVisitor

ContextEvaluateVisitor(Intention, boolean) - Constructor for class astra.reasoner.util.ContextEvaluateVisitor

ContextEvaluateVisitor.Handler<T> - Interface in astra.reasoner.util

conversationId - Variable in class astra.messaging.AstraMessage

Count - Class in astra.term

Count(Term) - Constructor for class astra.term.Count

create(AND, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ANDReasonerNodeFactory

create(Bind, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.BindReasonerNodeFactory

create(BracketFormula, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.BracketReasonerNodeFactory

create(Comparison, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ComparisonReasonerNodeFactory

create(IsDone, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.IsDoneReasonerNodeFactory

create(ModuleFormula, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ModuleFormulaReasonerNodeFactory

create(NOT, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.NOTReasonerNodeFactory

create(OR, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ORReasonerNodeFactory

create(Predicate, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.PredicateReasonerNodeFactory

create(ReasonerNode, AND, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ANDReasonerNodeFactory

create(ReasonerNode, Bind, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.BindReasonerNodeFactory

create(ReasonerNode, BracketFormula, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.BracketReasonerNodeFactory

create(ReasonerNode, Comparison, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ComparisonReasonerNodeFactory

create(ReasonerNode, IsDone, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.IsDoneReasonerNodeFactory

create(ReasonerNode, ModuleFormula, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ModuleFormulaReasonerNodeFactory

create(ReasonerNode, NOT, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.NOTReasonerNodeFactory

create(ReasonerNode, OR, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.ORReasonerNodeFactory

create(ReasonerNode, Predicate, Map<Integer, Term>, boolean) - Method in class astra.reasoner.node.PredicateReasonerNodeFactory

create(ReasonerNode, T, Map<Integer, Term>, boolean) - Method in interface astra.reasoner.node.ReasonerNodeFactory

create(T, Map<Integer, Term>, boolean) - Method in interface astra.reasoner.node.ReasonerNodeFactory

createFragment(Agent) - Method in class astra.core.ASTRAClass

createInstance() - Static method in class astra.debugger.DebuggerAPI

createInstance(int) - Static method in class astra.debugger.DebuggerAPI

createInstance(String) - Static method in class astra.debugger.DebuggerAPI

createInstance(String, int) - Static method in class astra.debugger.DebuggerAPI

createReasonerNode(ReasonerNode, Formula, Map<Integer, Term>, boolean) - Method in class astra.reasoner.NewReasoner

D

DebuggerAPI - Class in astra.debugger

DebuggerAPI(String, int) - Constructor for class astra.debugger.DebuggerAPI

DebuggerClient - Class in astra.debugger

DebuggerClient(String, int) - Constructor for class astra.debugger.DebuggerClient

DebuggerCommand - Interface in astra.debugger

DebuggerHandler - Class in astra.debugger

DebuggerHandler(DebuggerAPI) - Constructor for class astra.debugger.DebuggerHandler

DebuggerListener - Interface in astra.debugger

DebuggerServer - Class in astra.debugger

DebuggerServer(int, DebuggerWorker) - Constructor for class astra.debugger.DebuggerServer

DebuggerWorker - Class in astra.debugger

DebuggerWorker(String) - Constructor for class astra.debugger.DebuggerWorker

DebuggerWorker.ServerDataEvent - Class in astra.debugger

Declaration - Class in astra.statement

Declaration(Variable) - Constructor for class astra.statement.Declaration

Declaration(Variable, Term) - Constructor for class astra.statement.Declaration

Declaration(Variable, String, int[]) - Constructor for class astra.statement.Declaration

Declaration(Variable, String, int[], Term) - Constructor for class astra.statement.Declaration

decode(ObjectNode) - Method in class astra.reasoner.util.ContentCodec

decode(String) - Method in class astra.reasoner.util.ContentCodec

DefaultModuleActionAdaptor - Class in astra.tr

DefaultModuleActionAdaptor() - Constructor for class astra.tr.DefaultModuleActionAdaptor

DefaultModuleCallAdaptor - Class in astra.statement

DefaultModuleCallAdaptor() - Constructor for class astra.statement.DefaultModuleCallAdaptor

defaultValue(Type) - Static method in class astra.type.Type

DELETION - Static variable in class astra.statement.BeliefUpdate

DELETION - Static variable in class astra.tr.TRBeliefUpdate

depth - Variable in class astra.reasoner.node.ReasonerNode

displayStats() - Static method in class astra.core.Scheduler

DIVIDE - Static variable in class astra.term.Operator

done() - Method in class astra.core.Intention

Used by DONE statement to drop the currently active g-rule (or goal if no g-rule used)

Done - Class in astra.statement

Done(String, int[]) - Constructor for class astra.statement.Done

Done(String, int[], Formula, Statement) - Constructor for class astra.statement.Done

doTask() - Method in class astra.core.AbstractTask

doTask() - Method in interface astra.core.Task

DOUBLE - Static variable in class astra.type.Type

doubleValue(Term) - Static method in class astra.type.Type

dropBelief(Predicate) - Method in class astra.core.EventBeliefManager

dropCondition - Variable in class astra.core.GoalRule

dropPromise(Agent.Promise) - Method in class astra.core.Agent

dropPromise(Agent.Promise) - Method in class astra.core.Intention

dropScopedBelief(String, Predicate) - Method in class astra.core.EventBeliefManager

DummySchedulerStrategy - Class in astra.execution

This strategy was developed for the unit testing framework which uses its own control layer instead of the scheduler.

DummySchedulerStrategy() - Constructor for class astra.execution.DummySchedulerStrategy

dumpBeliefs() - Method in class astra.core.EventBeliefManager

dumpStack() - Method in class astra.core.Intention

duration() - Method in class astra.core.AbstractTask

duration() - Method in interface astra.core.Task

E

EMPTY_ARRAY - Static variable in interface astra.term.Term

EMPTY_LIST - Static variable in interface astra.reasoner.Queryable

encode(Formula) - Method in class astra.reasoner.util.ContentCodec

END_OF_CYCLE - Static variable in class astra.trace.TraceEvent

endLine() - Method in class astra.core.AbstractElement

endLine() - Method in interface astra.statement.Statement

EQUAL - Static variable in class astra.formula.Comparison

equals(Type) - Method in class astra.type.Type

equals(Object) - Method in class astra.formula.Predicate

equals(Object) - Method in class astra.term.AtIndex

equals(Object) - Method in class astra.term.Count

equals(Object) - Method in class astra.term.FromJson

equals(Object) - Method in class astra.term.Funct

equals(Object) - Method in class astra.term.Head

equals(Object) - Method in class astra.term.ListTerm

equals(Object) - Method in class astra.term.ModuleTerm

equals(Object) - Method in class astra.term.NullTerm

equals(Object) - Method in class astra.term.Operator

equals(Object) - Method in class astra.term.Performative

equals(Object) - Method in class astra.term.Primitive

equals(Object) - Method in class astra.term.Tail

equals(Object) - Method in class astra.term.ToJson

evaluate() - Method in class astra.core.Agent.Notification

evaluate(Agent) - Method in class astra.core.Agent.Promise

evaluate(Intention) - Method in class astra.term.ModuleTerm

evaluate(Intention, Predicate) - Method in class astra.statement.DefaultModuleCallAdaptor

evaluate(BindingsEvaluateVisitor) - Method in class astra.term.ModuleTerm

evaluate(BindingsEvaluateVisitor, Term) - Method in class astra.term.ModuleTermAdaptor

evaluate(Term) - Method in class astra.core.Intention

evaluate(Term) - Method in class astra.reasoner.util.BindingsEvaluateVisitor

evaluate(TRContext, Predicate) - Method in class astra.tr.DefaultModuleActionAdaptor

evaluatePromise(Agent) - Method in class astra.core.Agent.Promise

evaluateRule(Agent, Rule, Event) - Static method in class astra.core.Helper

event - Variable in class astra.core.Intention

event - Variable in class astra.core.Rule

event - Variable in class astra.event.ModuleEvent

event() - Method in class astra.core.RuleExecutor

event() - Method in class astra.event.ModuleEvent

Event - Interface in astra.event

EventBeliefManager - Class in astra.core

EventBeliefManager(Agent) - Constructor for class astra.core.EventBeliefManager

eventFactory - Static variable in class astra.reasoner.Unifier

events() - Method in class astra.core.Agent

EventUnifier<T extends Event> - Interface in astra.reasoner

execute() - Method in class astra.core.Agent

execute() - Method in class astra.core.Intention

execute() - Method in class astra.tr.TRContext

execute(Intention) - Method in class astra.core.RuleExecutor

execute(Intention) - Method in class astra.core.StatementExecutor

execute(Intention) - Method in interface astra.statement.StatementHandler

execute(DebuggerWorker, String[]) - Method in class astra.debugger.BreakpointCommand

execute(DebuggerWorker, String[]) - Method in interface astra.debugger.DebuggerCommand

execute(DebuggerWorker, String[]) - Method in class astra.debugger.IdleCommand

execute(DebuggerWorker, String[]) - Method in class astra.debugger.StartCommand

execute(DebuggerWorker, String[]) - Method in class astra.debugger.StepInCommand

execute(DebuggerWorker, String[]) - Method in class astra.debugger.StepOverCommand

execute(TRContext, Map<Integer, Term>) - Method in interface astra.tr.ActionHandler

execute(TRContext, Map<Integer, Term>) - Method in class astra.tr.TRRule

executor - Variable in class astra.statement.AbstractStatementHandler

executor() - Method in class astra.core.Intention

F

factories - Static variable in class astra.reasoner.NewReasoner

FAIL - Static variable in interface astra.debugger.DebuggerCommand

failed - Variable in class astra.reasoner.node.ReasonerNode

failed(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ReasonerNode

failed(String) - Method in class astra.core.Intention

failed(String, Throwable) - Method in class astra.core.Intention

failureReason() - Method in class astra.core.Intention

FairSchedulerStrategy - Class in astra.execution

Strategy: Agent added gets set to "WAITING" state Agents executed get set to "ACTIVE" state Agents suspended get set to a "SUSPENDED" state

FairSchedulerStrategy() - Constructor for class astra.execution.FairSchedulerStrategy

FALSE - Static variable in class astra.formula.Predicate

filter - Variable in class astra.core.GoalRule

filter() - Method in class astra.core.ASTRAClass

filter() - Method in class astra.core.GoalRule

filter(Map<Integer, Term>, Set<Variable>) - Static method in class astra.reasoner.util.Utilities

finished - Variable in class astra.reasoner.node.ReasonerNode

FLOAT - Static variable in class astra.type.Type

floatValue(Term) - Static method in class astra.type.Type

ForAll - Class in astra.statement

ForAll(String, int[], Variable, Term, Statement) - Constructor for class astra.statement.ForAll

ForEach - Class in astra.statement

ForEach(String, int[], Formula, Statement) - Constructor for class astra.statement.ForEach

formula() - Method in class astra.formula.BracketFormula

formula() - Method in class astra.formula.Goal

formula() - Method in class astra.formula.IsNull

formula() - Method in class astra.formula.NOT

formula() - Method in class astra.formula.ScopedGoal

formula() - Method in class astra.term.QueryTerm

Formula - Interface in astra.formula

FORMULA - Static variable in class astra.type.Type

formulae - Variable in class astra.formula.AND

formulae() - Method in class astra.formula.OR

FormulaTerm - Class in astra.term

FormulaTerm(Formula) - Constructor for class astra.term.FormulaTerm

FormulaUnifier - Interface in astra.reasoner

formulaUnifiers - Static variable in class astra.reasoner.Unifier

FormulaVariable - Class in astra.formula

FormulaVariable(Variable) - Constructor for class astra.formula.FormulaVariable

FormulaVariableUnifier - Class in astra.reasoner.unifier

FormulaVariableUnifier() - Constructor for class astra.reasoner.unifier.FormulaVariableUnifier

forName(String) - Static method in class astra.core.ASTRAClass

forName(String, String) - Static method in class astra.core.ASTRAClass

Fragment - Class in astra.core

Fragment(ASTRAClass) - Constructor for class astra.core.Fragment

fromId(int) - Method in class astra.reasoner.util.StringMapper

FromJson - Class in astra.term

FromJson(Term, String) - Constructor for class astra.term.FromJson

fromPredicateState(Utilities.PredicateState) - Static method in class astra.messaging.Utilities

Funct - Class in astra.term

Funct(String, Term[]) - Constructor for class astra.term.Funct

Function - Class in astra.tr

Function(Predicate) - Constructor for class astra.tr.Function

Function(Predicate, TRRule[]) - Constructor for class astra.tr.Function

FUNCTION - Static variable in class astra.type.Type

FunctionCall - Class in astra.tr

FunctionCall(Predicate) - Constructor for class astra.tr.FunctionCall

functor() - Method in class astra.term.Funct

G

generate(Agent, Predicate) - Method in interface astra.event.ModuleEventAdaptor

generateIntentionTree() - Method in class astra.core.Intention

get() - Method in class astra.core.ActionParam

get(int) - Method in class astra.term.ListTerm

getAgent(String) - Static method in class astra.core.Agent

getAllBindings() - Method in class astra.core.RuleExecutor

getASTRAClass() - Method in class astra.core.AbstractElement

getASTRAClass() - Method in class astra.core.Agent

getASTRAClass() - Method in class astra.core.Fragment

getASTRAClass() - Method in interface astra.statement.Statement

getASTRAClass() - Method in class astra.tr.AbstractAction

getCanonicalName() - Method in class astra.core.ASTRAClass

getDefaultClassLoader() - Static method in class astra.core.ASTRAClassLoader

getDistance() - Method in class astra.core.ASTRAClass

getFunction(Predicate) - Method in class astra.core.Agent

getFunction(Predicate) - Method in class astra.core.ASTRAClass

getInstance() - Static method in class astra.debugger.Breakpoints

getInstance() - Static method in class astra.reasoner.util.ContentCodec

getInstance() - Static method in class astra.trace.TraceManager

getLinearization() - Method in class astra.core.ASTRAClass

getLinearization() - Method in class astra.core.Fragment

getMainClass() - Method in class astra.debugger.DebuggerWorker

getMatchingBeliefs(Predicate) - Method in class astra.core.HierarchicalBeliefStore

getMatchingFormulae(Formula) - Method in class astra.core.Fragment

getModule(String) - Method in class astra.core.Fragment

getModule(String, String) - Method in class astra.core.Agent

getModule(String, String) - Method in class astra.core.Intention

getModule(String, String) - Method in class astra.tr.TRContext

getMostGeneralType(Type, Type) - Static method in class astra.type.Type

getNextStatement() - Method in class astra.core.Intention

getNextStatment() - Method in class astra.core.RuleExecutor

getParents() - Method in class astra.core.ASTRAClass

getService(String) - Static method in class astra.messaging.MessageService

getSource() - Method in class astra.event.BeliefEvent

getSource() - Method in interface astra.event.Event

getSource() - Method in class astra.event.GoalEvent

getSource() - Method in class astra.event.ModuleEvent

getSource() - Method in class astra.event.ScopedBeliefEvent

getSource() - Method in class astra.messaging.MessageEvent

getSpecifiedType() - Method in class astra.term.FromJson

getState(Agent) - Static method in class astra.core.Scheduler

getState(Agent) - Method in class astra.execution.AdaptiveSchedulerStrategy

getState(Agent) - Method in class astra.execution.BasicSchedulerStrategy

getState(Agent) - Method in class astra.execution.DummySchedulerStrategy

getState(Agent) - Method in class astra.execution.FairSchedulerStrategy

getState(Agent) - Method in interface astra.execution.SchedulerStrategy

getState(Agent) - Method in class astra.execution.TestSchedulerStrategy

getStatement() - Method in class astra.core.StatementExecutor

getStatementHandler() - Method in class astra.statement.Assignment

getStatementHandler() - Method in class astra.statement.BeliefUpdate

getStatementHandler() - Method in class astra.statement.Block

getStatementHandler() - Method in class astra.statement.Declaration

getStatementHandler() - Method in class astra.statement.Done

getStatementHandler() - Method in class astra.statement.ForAll

getStatementHandler() - Method in class astra.statement.ForEach

getStatementHandler() - Method in class astra.statement.If

getStatementHandler() - Method in class astra.statement.MaintainBlock

getStatementHandler() - Method in class astra.statement.MinusMinus

getStatementHandler() - Method in class astra.statement.ModuleCall

getStatementHandler() - Method in class astra.statement.PlusPlus

getStatementHandler() - Method in class astra.statement.Query

getStatementHandler() - Method in class astra.statement.ScopedBeliefUpdate

getStatementHandler() - Method in class astra.statement.ScopedSpawnGoal

getStatementHandler() - Method in class astra.statement.ScopedSubgoal

getStatementHandler() - Method in class astra.statement.Send

getStatementHandler() - Method in class astra.statement.SpawnGoal

getStatementHandler() - Method in class astra.statement.SpecialBeliefUpdate

getStatementHandler() - Method in class astra.statement.SpecialOp

getStatementHandler() - Method in interface astra.statement.Statement

getStatementHandler() - Method in class astra.statement.Subgoal

getStatementHandler() - Method in class astra.statement.SynchronizedBlock

getStatementHandler() - Method in class astra.statement.TRStart

getStatementHandler() - Method in class astra.statement.TRStop

getStatementHandler() - Method in class astra.statement.TryRecover

getStatementHandler() - Method in class astra.statement.Wait

getStatementHandler() - Method in class astra.statement.While

getStatementHandler() - Method in interface astra.tr.Action

getStatementHandler() - Method in class astra.tr.CompositeAction

getStatementHandler() - Method in class astra.tr.FunctionCall

getStatementHandler() - Method in class astra.tr.ModuleAction

getStatementHandler() - Method in class astra.tr.TRBeliefUpdate

getStatementHandler() - Method in class astra.tr.TRStopAction

getTargetClass() - Method in class astra.debugger.Breakpoint

getTerm(int) - Method in class astra.formula.Predicate

getTerm(int) - Method in class astra.term.Funct

getType() - Method in interface astra.reasoner.util.AbstractEvaluateVisitor.Handler

getType() - Method in interface astra.reasoner.util.BindingsEvaluateVisitor.Handler

getType() - Method in interface astra.reasoner.util.ContextEvaluateVisitor.Handler

getType() - Method in interface astra.reasoner.util.RenameVisitor.Handler

getType() - Method in interface astra.reasoner.util.VariableVisitor.Handler

getType(Object) - Static method in class astra.type.Type

getUnboundBindings() - Method in class astra.core.RuleExecutor

getValue(Term) - Method in class astra.tr.TRContext

getValue(Variable) - Method in class astra.core.Intention

getValue(Variable) - Method in class astra.core.RuleExecutor

goal - Variable in class astra.event.GoalEvent

goal() - Method in class astra.event.GoalEvent

Goal - Class in astra.formula

Goal(Predicate) - Constructor for class astra.formula.Goal

GoalEvent - Class in astra.event

GoalEvent(char, Goal) - Constructor for class astra.event.GoalEvent

GoalEvent(char, Goal, Object) - Constructor for class astra.event.GoalEvent

GoalEventUnifier - Class in astra.reasoner.unifier

GoalEventUnifier() - Constructor for class astra.reasoner.unifier.GoalEventUnifier

GoalRule - Class in astra.core

GoalRule(Event, Formula, Formula, Statement) - Constructor for class astra.core.GoalRule

GoalRule(Event, Formula, Statement) - Constructor for class astra.core.GoalRule

GoalRule(Event, Statement) - Constructor for class astra.core.GoalRule

GoalRule(String, int[], Event, Formula, Formula, Statement) - Constructor for class astra.core.GoalRule

GoalRule(String, int[], Event, Formula, Formula, Statement, Rule[]) - Constructor for class astra.core.GoalRule

GoalRule(String, int[], Event, Formula, Statement) - Constructor for class astra.core.GoalRule

GoalRule(String, int[], Event, Formula, Statement, Rule[]) - Constructor for class astra.core.GoalRule

GoalRule(String, int[], Event, Statement) - Constructor for class astra.core.GoalRule

GREATER_THAN - Static variable in class astra.formula.Comparison

GREATER_THAN_OR_EQUAL - Static variable in class astra.formula.Comparison

H

handle(LogicVisitor, T, boolean) - Method in interface astra.reasoner.util.AbstractEvaluateVisitor.Handler

handle(LogicVisitor, T, Intention) - Method in interface astra.reasoner.util.ContextEvaluateVisitor.Handler

handle(LogicVisitor, T, String, Map<Integer, Term>) - Method in interface astra.reasoner.util.RenameVisitor.Handler

handle(LogicVisitor, T, Map<Integer, Term>, Agent) - Method in interface astra.reasoner.util.BindingsEvaluateVisitor.Handler

handle(LogicVisitor, T, Set<Variable>) - Method in interface astra.reasoner.util.VariableVisitor.Handler

handleEvent(Event) - Method in class astra.core.Agent

handleEvent(Event, Agent) - Method in class astra.core.ASTRAClass

handleEvent(Event, Agent) - Method in class astra.core.Intention

handleResponse(byte[]) - Method in class astra.debugger.DebuggerHandler

hasActiveFunction() - Method in class astra.core.Agent

hasActiveIntentions() - Method in class astra.core.Agent

hasAgent(String) - Static method in class astra.core.Agent

hasEvents() - Method in class astra.core.Agent

hasFunctions() - Method in class astra.core.ASTRAClass

hashCode() - Method in class astra.debugger.Breakpoint

hasLock(String, Intention) - Method in class astra.core.Agent

hasLock(String, Intention) - Method in class astra.core.Intention

hasNext() - Method in class astra.reasoner.BeliefIterator

hasSensors() - Method in class astra.core.Agent

hasService(String) - Static method in class astra.messaging.MessageService

hasStrategy() - Static method in class astra.core.Scheduler

hasUpdates() - Method in class astra.core.EventBeliefManager

head() - Method in class astra.formula.Inference

head() - Method in class astra.term.ListSplitter

Head - Class in astra.term

Head(Term, Type) - Constructor for class astra.term.Head

Helper - Class in astra.core

Helper() - Constructor for class astra.core.Helper

HierarchicalBeliefStore - Class in astra.core

HierarchicalBeliefStore() - Constructor for class astra.core.HierarchicalBeliefStore

I

id() - Method in class astra.formula.Predicate

id() - Method in class astra.term.Funct

id() - Method in class astra.term.Variable

identifier - Variable in class astra.tr.Function

identifier() - Method in class astra.term.Variable

IdleCommand - Class in astra.debugger

IdleCommand() - Constructor for class astra.debugger.IdleCommand

If - Class in astra.statement

If(String, int[], Formula, Statement) - Constructor for class astra.statement.If

If(String, int[], Formula, Statement, Statement) - Constructor for class astra.statement.If

INACTIVE - Static variable in class astra.core.Agent

INACTIVE - Static variable in class astra.core.Scheduler

index() - Method in class astra.formula.AcreFormula

index() - Method in class astra.term.AtIndex

indexOf(Object) - Method in class astra.term.ListTerm

Inference - Class in astra.formula

Inference(Predicate, Formula) - Constructor for class astra.formula.Inference

initial - Variable in class astra.reasoner.node.ReasonerNode

initialize(Agent) - Method in class astra.core.ASTRAClass

initialize(Goal) - Method in class astra.core.Agent

initialize(Predicate) - Method in class astra.core.Agent

initialize(ScopedGoal) - Method in class astra.core.Agent

initialize(Reasoner) - Method in class astra.reasoner.node.ANDReasonerNode

initialize(Reasoner) - Method in class astra.reasoner.node.BracketReasonerNode

initialize(Reasoner) - Method in class astra.reasoner.node.NOTReasonerNode

initialize(Reasoner) - Method in class astra.reasoner.node.ORReasonerNode

initialize(Reasoner) - Method in class astra.reasoner.node.PredicateReasonerNode

initialize(Reasoner) - Method in class astra.reasoner.node.ReasonerNode

inline() - Method in annotation type astra.core.Module.ACTION

inline() - Method in class astra.core.Module

inline() - Method in interface astra.statement.ModuleCallAdaptor

inReplyTo - Variable in class astra.messaging.AstraMessage

installService(String, MessageService) - Static method in class astra.messaging.MessageService

INTEGER - Static variable in class astra.type.Type

integerValue(Term) - Static method in class astra.type.Type

intention() - Method in class astra.core.Agent

intention() - Method in class astra.core.RuleExecutor

Intention - Class in astra.core

Intention(Agent, Event, Rule, Map<Integer, Term>) - Constructor for class astra.core.Intention

intentions() - Method in class astra.core.Agent

invoke(Intention) - Method in interface astra.statement.SpecialOpAdaptor

invoke(Intention, Predicate) - Method in interface astra.statement.ModuleCallAdaptor

invoke(Intention, Predicate) - Method in class astra.term.ModuleTermAdaptor

invoke(BindingsEvaluateVisitor, Predicate) - Method in class astra.formula.ModuleFormulaAdaptor

invoke(BindingsEvaluateVisitor, Predicate) - Method in class astra.term.ModuleTermAdaptor

invoke(TRContext, Predicate) - Method in interface astra.tr.ModuleActionAdaptor

isActive() - Method in class astra.core.Agent

isActive() - Method in class astra.core.Intention

isApplicable(Formula, Formula) - Method in interface astra.reasoner.FormulaUnifier

isApplicable(Formula, Formula) - Method in class astra.reasoner.unifier.AcreFormulaUnifier

isApplicable(Formula, Formula) - Method in class astra.reasoner.unifier.ANDUnifier

isApplicable(Formula, Formula) - Method in class astra.reasoner.unifier.FormulaVariableUnifier

isApplicable(Formula, Formula) - Method in class astra.reasoner.unifier.PredicateUnifier

isDone() - Method in class astra.core.Intention

isDone() - Method in class astra.core.RuleExecutor

IsDone - Class in astra.formula

IsDone() - Constructor for class astra.formula.IsDone

IsDoneReasonerNode - Class in astra.reasoner.node

IsDoneReasonerNode(ReasonerNode, IsDone, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.IsDoneReasonerNode

IsDoneReasonerNodeFactory - Class in astra.reasoner.node

IsDoneReasonerNodeFactory() - Constructor for class astra.reasoner.node.IsDoneReasonerNodeFactory

isEmpty() - Method in class astra.term.ListTerm

isFailed() - Method in class astra.core.Intention

isFailed() - Method in class astra.reasoner.node.ReasonerNode

isFinished() - Method in class astra.core.AbstractTask

isFinished() - Method in class astra.core.StatementExecutor

isFinished() - Method in interface astra.core.Task

isFinished() - Method in class astra.reasoner.node.ReasonerNode

isGoalCompleted() - Method in class astra.core.Intention

isInactive() - Method in class astra.core.Agent

isLinkedToSource() - Method in class astra.core.AbstractElement

isLinkedToSource() - Method in interface astra.statement.Statement

isLinkedToSource() - Method in class astra.tr.AbstractAction

isLinkedToSource() - Method in interface astra.tr.Action

isMaxDepth() - Method in class astra.reasoner.node.ReasonerNode

IsNull - Class in astra.formula

IsNull(Term) - Constructor for class astra.formula.IsNull

isNumeric(Term) - Static method in class astra.type.Type

isNumeric(Type) - Static method in class astra.type.Type

isProcessing() - Method in class astra.core.Intention

isRecovering() - Method in class astra.core.Intention

isSingleResult() - Method in class astra.reasoner.node.ReasonerNode

isSubclass(ASTRAClass) - Method in class astra.core.ASTRAClass

isSuspended() - Method in class astra.core.Intention

isTerminating() - Method in class astra.core.Agent

isTrue - Variable in class astra.core.Agent.Promise

iterations - Static variable in class astra.core.Agent

iterator() - Method in class astra.term.ListTerm

iterator(Formula) - Method in class astra.core.Agent

iterator(Formula) - Method in class astra.core.ASTRAClass

iterator(Formula) - Method in class astra.core.BeliefStore

iterator(Formula) - Method in class astra.core.EventBeliefManager

iterator(Formula) - Method in interface astra.reasoner.Queryable

L

language - Variable in class astra.messaging.AstraMessage

LangUtils - Class in astra.term

LangUtils() - Constructor for class astra.term.LangUtils

lastIndexOf(Object) - Method in class astra.term.ListTerm

launch() - Static method in class astra.messaging.LocalMQService

lazyActivation() - Method in class astra.core.Agent

left() - Method in class astra.formula.AND

left() - Method in class astra.formula.Comparison

left() - Method in class astra.formula.OR

left() - Method in class astra.term.Operator

LESS_THAN - Static variable in class astra.formula.Comparison

LESS_THAN_OR_EQUAL - Static variable in class astra.formula.Comparison

LEVEL_CONTEXT - Static variable in class astra.debugger.Breakpoints.State

LEVEL_RULE - Static variable in class astra.debugger.Breakpoints.State

LEVEL_STATEMENT - Static variable in class astra.debugger.Breakpoints.State

line() - Method in class astra.debugger.Breakpoint

LIST - Static variable in class astra.type.Type

listIterator() - Method in class astra.term.ListTerm

listIterator(int) - Method in class astra.term.ListTerm

ListSplitter - Class in astra.term

ListSplitter(Term, Variable) - Constructor for class astra.term.ListSplitter

ListTerm - Class in astra.term

ListTerm() - Constructor for class astra.term.ListTerm

ListTerm(Term[]) - Constructor for class astra.term.ListTerm

loadClass(Class<ASTRAClass>) - Method in class astra.core.ASTRAClassLoader

loadClass(String) - Method in class astra.core.ASTRAClassLoader

Loads the corrsponding astra class if it is not already loaded.

LocalMQService - Class in astra.messaging

LocalMQService() - Constructor for class astra.messaging.LocalMQService

LogicUtilities - Class in astra.reasoner.util

LogicUtilities() - Constructor for class astra.reasoner.util.LogicUtilities

LogicVisitor - Interface in astra.reasoner.util

LONG - Static variable in class astra.type.Type

longValue(Term) - Static method in class astra.type.Type

M

main(String[]) - Static method in class astra.debugger.Test

main(String[]) - Static method in class astra.reasoner.NewReasoner

main(String[]) - Static method in class astra.reasoner.util.ContentCodec

main(String[]) - Static method in class astra.reasoner.util.LogicUtilities

MaintainBlock - Class in astra.statement

MaintainBlock(String, int[], Formula, Statement) - Constructor for class astra.statement.MaintainBlock

makePromise(Agent.Promise) - Method in class astra.core.Intention

mapper - Static variable in class astra.term.Variable

matches(Formula) - Method in class astra.formula.AcreFormula

matches(Formula) - Method in class astra.formula.AND

matches(Formula) - Method in class astra.formula.Bind

matches(Formula) - Method in class astra.formula.BracketFormula

matches(Formula) - Method in class astra.formula.Comparison

matches(Formula) - Method in interface astra.formula.Formula

matches(Formula) - Method in class astra.formula.FormulaVariable

matches(Formula) - Method in class astra.formula.Goal

matches(Formula) - Method in class astra.formula.Inference

matches(Formula) - Method in class astra.formula.IsDone

matches(Formula) - Method in class astra.formula.IsNull

matches(Formula) - Method in class astra.formula.ModuleFormula

matches(Formula) - Method in class astra.formula.NOT

matches(Formula) - Method in class astra.formula.OR

matches(Formula) - Method in class astra.formula.Predicate

matches(Formula) - Method in class astra.formula.ScopedGoal

matches(Formula) - Method in class astra.messaging.Utilities.PredicateState

matches(Term) - Method in class astra.term.AtIndex

matches(Term) - Method in class astra.term.Brackets

matches(Term) - Method in class astra.term.Count

matches(Term) - Method in class astra.term.FormulaTerm

matches(Term) - Method in class astra.term.FromJson

matches(Term) - Method in class astra.term.Funct

matches(Term) - Method in class astra.term.Head

matches(Term) - Method in class astra.term.ListSplitter

matches(Term) - Method in class astra.term.ListTerm

matches(Term) - Method in class astra.term.ModuleTerm

matches(Term) - Method in class astra.term.NullTerm

matches(Term) - Method in class astra.term.Operator

matches(Term) - Method in class astra.term.Performative

matches(Term) - Method in class astra.term.Primitive

matches(Term) - Method in class astra.term.QueryTerm

matches(Term) - Method in class astra.term.Tail

matches(Term) - Method in interface astra.term.Term

matches(Term) - Method in class astra.term.ToJson

matches(Term) - Method in class astra.term.Variable

MAX_DEPTH - Static variable in class astra.reasoner.node.ReasonerNode

merge(ListTerm) - Method in class astra.term.ListTerm

merge(Map<Integer, Term>, Map<Integer, Term>) - Static method in class astra.reasoner.util.Utilities

MessageEvent - Class in astra.messaging

MessageEvent(Term, Term, Formula) - Constructor for class astra.messaging.MessageEvent

MessageEvent(Term, Term, Formula, Term) - Constructor for class astra.messaging.MessageEvent

MessageEventUnifier - Class in astra.reasoner.unifier

MessageEventUnifier() - Constructor for class astra.reasoner.unifier.MessageEventUnifier

MessageService - Class in astra.messaging

MessageService() - Constructor for class astra.messaging.MessageService

method() - Method in class astra.term.ModuleTerm

mgu(Map<Integer, Term>) - Static method in class astra.reasoner.util.Utilities

MINUS - Static variable in class astra.term.Operator

MinusMinus - Class in astra.statement

MinusMinus(Variable) - Constructor for class astra.statement.MinusMinus

MinusMinus(Variable, String, int[]) - Constructor for class astra.statement.MinusMinus

MinusMinus(Variable, String, int[], Term) - Constructor for class astra.statement.MinusMinus

module - Variable in class astra.event.ModuleEvent

module() - Method in class astra.event.ModuleEvent

module() - Method in class astra.formula.ModuleFormula

module() - Method in class astra.term.ModuleTerm

Module - Class in astra.core

Module() - Constructor for class astra.core.Module

Module.ACTION - Annotation Type in astra.core

Module.EVENT - Annotation Type in astra.core

Module.FORMULA - Annotation Type in astra.core

Module.SENSOR - Annotation Type in astra.core

Module.SUPPRESS_NOTIFICATIONS - Annotation Type in astra.core

Module.TERM - Annotation Type in astra.core

ModuleAction - Class in astra.tr

ModuleAction(String, String, int[], Predicate, ModuleActionAdaptor) - Constructor for class astra.tr.ModuleAction

ModuleActionAdaptor - Interface in astra.tr

ModuleCall - Class in astra.statement

ModuleCall(ModuleCallAdaptor) - Constructor for class astra.statement.ModuleCall

ModuleCall(String, Predicate, ModuleCallAdaptor) - Constructor for class astra.statement.ModuleCall

ModuleCall(String, String, int[], Predicate, ModuleCallAdaptor) - Constructor for class astra.statement.ModuleCall

ModuleCallAdaptor - Interface in astra.statement

ModuleEvent - Class in astra.event

ModuleEvent(String, String, Predicate, ModuleEventAdaptor) - Constructor for class astra.event.ModuleEvent

ModuleEventAdaptor - Interface in astra.event

ModuleException - Exception in astra.core

ModuleException(Exception) - Constructor for exception astra.core.ModuleException

ModuleException(String) - Constructor for exception astra.core.ModuleException

ModuleException(String, Exception) - Constructor for exception astra.core.ModuleException

ModuleFormula - Class in astra.formula

ModuleFormula(String, Predicate, ModuleFormulaAdaptor) - Constructor for class astra.formula.ModuleFormula

ModuleFormulaAdaptor - Class in astra.formula

ModuleFormulaAdaptor() - Constructor for class astra.formula.ModuleFormulaAdaptor

ModuleFormulaReasonerNode - Class in astra.reasoner.node

ModuleFormulaReasonerNode(ReasonerNode, ModuleFormula, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.ModuleFormulaReasonerNode

ModuleFormulaReasonerNodeFactory - Class in astra.reasoner.node

ModuleFormulaReasonerNodeFactory() - Constructor for class astra.reasoner.node.ModuleFormulaReasonerNodeFactory

ModuleTerm - Class in astra.term

ModuleTerm(ModuleTermAdaptor) - Constructor for class astra.term.ModuleTerm

ModuleTerm(String, Type, Predicate, ModuleTermAdaptor) - Constructor for class astra.term.ModuleTerm

ModuleTermAdaptor - Class in astra.term

ModuleTermAdaptor() - Constructor for class astra.term.ModuleTermAdaptor

MODULO - Static variable in class astra.term.Operator

MULTIPLY - Static variable in class astra.term.Operator

N

name() - Method in class astra.core.Agent

name() - Method in class astra.core.Intention

name() - Method in class astra.tr.TRContext

NEW - Static variable in class astra.core.Agent

NEW_AGENT - Static variable in class astra.trace.TraceEvent

newInstance(String) - Method in class astra.core.ASTRAClass

newOperator(char, Term, Term) - Static method in class astra.term.Operator

newPrimitive(T) - Static method in class astra.term.Primitive

NewReasoner - Class in astra.reasoner

NewReasoner(Agent) - Constructor for class astra.reasoner.NewReasoner

next() - Method in class astra.reasoner.BeliefIterator

NO_VALUE - Static variable in class astra.type.Type

NOT - Class in astra.formula

NOT(Formula) - Constructor for class astra.formula.NOT

NOT_EQUAL - Static variable in class astra.formula.Comparison

Notification(Intention, String) - Constructor for class astra.core.Agent.Notification

Notification(Intention, String, Throwable) - Constructor for class astra.core.Agent.Notification

notify(String) - Method in class astra.debugger.DebuggerWorker

notifyDone(Agent.Notification) - Method in class astra.core.Agent

notifyDone(String) - Method in class astra.core.Intention

notifyDone(String, Throwable) - Method in class astra.core.Intention

notifyListeners(String) - Method in class astra.debugger.DebuggerAPI

NOTReasonerNode - Class in astra.reasoner.node

NOTReasonerNode(ReasonerNode, NOT, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.NOTReasonerNode

NOTReasonerNodeFactory - Class in astra.reasoner.node

NOTReasonerNodeFactory() - Constructor for class astra.reasoner.node.NOTReasonerNodeFactory

NULL_TERM - Static variable in interface astra.term.Term

NullTerm - Class in astra.term

NullTerm() - Constructor for class astra.term.NullTerm

O

OBJECT - Static variable in class astra.type.Type

ObjectType - Class in astra.type

ObjectType(Class<?>) - Constructor for class astra.type.ObjectType

OK - Static variable in interface astra.debugger.DebuggerCommand

onFail(Intention) - Method in interface astra.statement.StatementHandler

ontology - Variable in class astra.messaging.AstraMessage

op() - Method in class astra.term.Operator

operator() - Method in class astra.formula.Comparison

Operator - Class in astra.term

Operator(char, Type, Term, Term) - Constructor for class astra.term.Operator

ops - Variable in class astra.debugger.ChangeRequest

OR - Class in astra.formula

OR(Formula, Formula) - Constructor for class astra.formula.OR

ORReasonerNode - Class in astra.reasoner.node

ORReasonerNode(ReasonerNode, OR, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.ORReasonerNode

ORReasonerNodeFactory - Class in astra.reasoner.node

ORReasonerNodeFactory() - Constructor for class astra.reasoner.node.ORReasonerNodeFactory

OTHER_NOT_EQUAL - Static variable in class astra.formula.Comparison

P

params() - Method in class astra.messaging.MessageEvent

parent - Variable in class astra.reasoner.node.ReasonerNode

parent() - Method in class astra.core.RuleExecutor

passByValue - Variable in class astra.reasoner.util.AbstractEvaluateVisitor

PAUSED - Static variable in class astra.debugger.Breakpoints.State

payloadEncoding - Variable in class astra.messaging.AstraMessage

performative - Variable in class astra.messaging.AstraMessage

performative() - Method in class astra.formula.AcreFormula

performative() - Method in class astra.messaging.MessageEvent

Performative - Class in astra.term

Performative(String) - Constructor for class astra.term.Performative

PERFORMATIVE - Static variable in class astra.type.Type

PLUS - Static variable in class astra.term.Operator

PlusPlus - Class in astra.statement

PlusPlus(Variable) - Constructor for class astra.statement.PlusPlus

PlusPlus(Variable, String, int[]) - Constructor for class astra.statement.PlusPlus

PlusPlus(Variable, String, int[], Term) - Constructor for class astra.statement.PlusPlus

predicate - Variable in class astra.messaging.Utilities.PredicateState

predicate() - Method in class astra.formula.ModuleFormula

predicate() - Method in class astra.formula.Predicate

Predicate - Class in astra.formula

Predicate(String) - Constructor for class astra.formula.Predicate

Predicate(String, Term[]) - Constructor for class astra.formula.Predicate

PredicateReasonerNode - Class in astra.reasoner.node

PredicateReasonerNode(ReasonerNode, Predicate, Map<Integer, Term>, boolean) - Constructor for class astra.reasoner.node.PredicateReasonerNode

PredicateReasonerNodeFactory - Class in astra.reasoner.node

PredicateReasonerNodeFactory() - Constructor for class astra.reasoner.node.PredicateReasonerNodeFactory

PredicateState(Predicate) - Constructor for class astra.messaging.Utilities.PredicateState

PredicateUnifier - Class in astra.reasoner.unifier

PredicateUnifier() - Constructor for class astra.reasoner.unifier.PredicateUnifier

Primitive<T> - Class in astra.term

Primitive(Type, T) - Constructor for class astra.term.Primitive

printStackTrace() - Method in class astra.core.Intention

printStackTrace() - Method in class astra.core.RuleExecutor

processData(DebuggerServer, SocketChannel, byte[], int) - Method in class astra.debugger.DebuggerWorker

Promise() - Constructor for class astra.core.Agent.Promise

Promise(boolean) - Constructor for class astra.core.Agent.Promise

protocol - Variable in class astra.messaging.AstraMessage

Q

query(Formula) - Method in class astra.core.Intention

query(Formula) - Method in class astra.reasoner.NewReasoner

query(Formula) - Method in interface astra.reasoner.Reasoner

query(Formula, Map<Integer, Term>) - Method in class astra.core.Agent

query(Formula, Map<Integer, Term>) - Method in class astra.reasoner.NewReasoner

query(Formula, Map<Integer, Term>) - Method in interface astra.reasoner.Reasoner

Query - Class in astra.statement

Query(String, int[], Formula) - Constructor for class astra.statement.Query

Queryable - Interface in astra.reasoner

A Source for Reasoner implementations.

queryAll(Formula) - Method in class astra.core.Agent

queryAll(Formula) - Method in class astra.core.Intention

queryAll(Formula) - Method in class astra.reasoner.NewReasoner

queryAll(Formula) - Method in interface astra.reasoner.Reasoner

QueryTerm - Class in astra.term

QueryTerm(Formula) - Constructor for class astra.term.QueryTerm

R

rawType() - Method in class astra.term.FromJson

Reasoner - Interface in astra.reasoner

Core Interface for logical reasoning systems that may be attached to an agent.

ReasonerNode - Class in astra.reasoner.node

ReasonerNode(ReasonerNode, boolean) - Constructor for class astra.reasoner.node.ReasonerNode

ReasonerNodeFactory<T extends Formula> - Interface in astra.reasoner.node

receive(AstraMessage) - Method in class astra.core.Agent

receive(AstraMessage) - Method in interface astra.core.AgentMessageListener

receive(String) - Method in interface astra.debugger.DebuggerListener

receiveMessage(AstraMessage) - Method in class astra.messaging.MessageService

receivers - Variable in class astra.messaging.AstraMessage

record(TraceEvent) - Method in interface astra.trace.TraceRecorder

recordEvent(TraceEvent) - Method in class astra.trace.TraceManager

REGISTER - Static variable in class astra.debugger.ChangeRequest

registerClassLoader(ClassLoader) - Method in class astra.core.ASTRAClassLoader

releaseLock(String, Intention) - Method in class astra.core.Agent

releaseLock(String, Intention) - Method in class astra.core.Intention

REMOVAL - Static variable in interface astra.event.Event

remove(int) - Method in class astra.term.ListTerm

remove(Object) - Method in class astra.term.ListTerm

removeAll(Collection<?>) - Method in class astra.term.ListTerm

removeBelief(Predicate) - Method in class astra.core.BeliefStore

removeBelief(Predicate) - Method in class astra.core.HierarchicalBeliefStore

removeBelief(Predicate) - Method in class astra.core.Intention

removeBelief(Predicate) - Method in class astra.tr.TRContext

removeListener(TraceEventListener) - Method in class astra.trace.TraceManager

removeScopedBelief(String, Predicate) - Method in class astra.core.Intention

removeVariable(Variable) - Method in class astra.core.RuleExecutor

RenameVisitor - Class in astra.reasoner.util

RenameVisitor(String) - Constructor for class astra.reasoner.util.RenameVisitor

RenameVisitor.Handler<T> - Interface in astra.reasoner.util

replyBy - Variable in class astra.messaging.AstraMessage

replyTo - Variable in class astra.messaging.AstraMessage

replyWith - Variable in class astra.messaging.AstraMessage

requestLock(String, Intention) - Method in class astra.core.Agent

requestLock(String, Intention) - Method in class astra.core.Intention

RESCHEDULE - Static variable in class astra.core.Agent

resetActionParams() - Method in class astra.core.Intention

resolve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ReasonerNode

resolveEvent(Event, Agent) - Static method in class astra.core.Helper

resume() - Method in class astra.core.Intention

resumeIfWaiting(Agent) - Static method in class astra.core.Scheduler

retainAll(Collection<?>) - Method in class astra.term.ListTerm

returns() - Method in class astra.term.Variable

reviseGoals() - Method in class astra.core.Intention

right() - Method in class astra.formula.AND

right() - Method in class astra.formula.Comparison

right() - Method in class astra.formula.OR

right() - Method in class astra.term.Operator

rollback() - Method in class astra.core.Intention

rollback(Intention) - Method in class astra.core.RuleExecutor

rollback(Intention) - Method in class astra.core.StatementExecutor

rule() - Method in class astra.core.Intention

rule() - Method in class astra.core.RuleExecutor

Rule - Class in astra.core

Rule(Event, Formula, Statement) - Constructor for class astra.core.Rule

Rule(Event, Statement) - Constructor for class astra.core.Rule

Rule(String, int[], Event, Formula, Formula, Statement) - Constructor for class astra.core.Rule

Rule(String, int[], Event, Formula, Statement) - Constructor for class astra.core.Rule

Rule(String, int[], Event, Statement) - Constructor for class astra.core.Rule

RuleExecutor - Class in astra.core

RuleExecutor(Event, Rule, Map<Integer, Term>, RuleExecutor, Intention) - Constructor for class astra.core.RuleExecutor

rules - Variable in class astra.core.GoalRule

rules - Variable in class astra.tr.Function

rules() - Method in class astra.core.ASTRAClass

rules() - Method in class astra.core.GoalRule

rules() - Method in class astra.tr.Function

run() - Method in class astra.core.AbstractTask

run() - Method in class astra.debugger.Client

run() - Method in class astra.debugger.DebuggerClient

run() - Method in class astra.debugger.DebuggerServer

run() - Method in class astra.debugger.DebuggerWorker

run() - Method in class astra.debugger.Server

RUNNING - Static variable in class astra.debugger.Breakpoints.State

S

schedule(AbstractTask) - Method in class astra.tr.TRContext

schedule(Agent) - Static method in class astra.core.Scheduler

schedule(Agent) - Method in class astra.execution.AdaptiveSchedulerStrategy

schedule(Agent) - Method in class astra.execution.BasicSchedulerStrategy

schedule(Agent) - Method in class astra.execution.DummySchedulerStrategy

schedule(Agent) - Method in class astra.execution.FairSchedulerStrategy

schedule(Agent) - Method in interface astra.execution.SchedulerStrategy

schedule(Agent) - Method in class astra.execution.TestSchedulerStrategy

schedule(Task) - Method in class astra.core.Agent

schedule(Task) - Method in class astra.core.Intention

schedule(Task) - Static method in class astra.core.Scheduler

schedule(Task) - Method in class astra.execution.AdaptiveSchedulerStrategy

schedule(Task) - Method in class astra.execution.BasicSchedulerStrategy

schedule(Task) - Method in class astra.execution.DummySchedulerStrategy

schedule(Task) - Method in class astra.execution.FairSchedulerStrategy

schedule(Task) - Method in interface astra.execution.SchedulerStrategy

schedule(Task) - Method in class astra.execution.TestSchedulerStrategy

Scheduler - Class in astra.core

Scheduler() - Constructor for class astra.core.Scheduler

SchedulerStrategy - Interface in astra.execution

scope() - Method in class astra.event.ScopedBeliefEvent

scope() - Method in class astra.formula.ScopedGoal

ScopedBeliefEvent - Class in astra.event

ScopedBeliefEvent(String, BeliefEvent) - Constructor for class astra.event.ScopedBeliefEvent

ScopedBeliefUpdate - Class in astra.statement

ScopedBeliefUpdate(String, char, Predicate) - Constructor for class astra.statement.ScopedBeliefUpdate

ScopedBeliefUpdate(String, int[], String, char, Predicate) - Constructor for class astra.statement.ScopedBeliefUpdate

scopedGoal - Variable in class astra.event.ScopedGoalEvent

scopedGoal() - Method in class astra.event.ScopedGoalEvent

ScopedGoal - Class in astra.formula

ScopedGoal(String, Goal) - Constructor for class astra.formula.ScopedGoal

ScopedGoalEvent - Class in astra.event

ScopedGoalEvent(char, ScopedGoal) - Constructor for class astra.event.ScopedGoalEvent

ScopedGoalEvent(char, ScopedGoal, Object) - Constructor for class astra.event.ScopedGoalEvent

ScopedSpawnGoal - Class in astra.statement

ScopedSpawnGoal(String, int[], String, Goal) - Constructor for class astra.statement.ScopedSpawnGoal

ScopedSpawnGoal(String, Goal) - Constructor for class astra.statement.ScopedSpawnGoal

ScopedSubgoal - Class in astra.statement

ScopedSubgoal(String, int[], String, Goal) - Constructor for class astra.statement.ScopedSubgoal

ScopedSubgoal(String, Goal) - Constructor for class astra.statement.ScopedSubgoal

send(byte[], DebuggerHandler) - Method in class astra.debugger.DebuggerClient

send(AstraMessage) - Static method in class astra.messaging.MessageService

send(SocketChannel, byte[]) - Method in class astra.debugger.DebuggerServer

Send - Class in astra.statement

Send(String, int[], Term, Term, Formula) - Constructor for class astra.statement.Send

Send(String, int[], Term, Term, Formula, Term) - Constructor for class astra.statement.Send

sender - Variable in class astra.messaging.AstraMessage

sender() - Method in class astra.messaging.MessageEvent

sendMessage(AstraMessage) - Method in class astra.messaging.LocalMQService

sendMessage(AstraMessage) - Method in class astra.messaging.MessageService

sendMessage(AstraMessage) - Method in class astra.messaging.UDPMQService

This method is responsible for transmitting messages using the FIPA HTTP Message Transport Service.

sense(Agent) - Method in interface astra.core.SensorAdaptor

SensorAdaptor - Interface in astra.core

Server - Class in astra.debugger

Server() - Constructor for class astra.debugger.Server

ServerDataEvent(DebuggerServer, SocketChannel, byte[]) - Constructor for class astra.debugger.DebuggerWorker.ServerDataEvent

set(int, Term) - Method in class astra.term.Funct

set(int, Term) - Method in class astra.term.ListTerm

set(Class<?>, int) - Method in class astra.debugger.Breakpoints

set(String, int) - Method in class astra.debugger.Breakpoints

set(T) - Method in class astra.core.ActionParam

setAgent(Agent) - Method in class astra.core.Module

setBreakpoint(Breakpoint) - Method in class astra.debugger.DebuggerAPI

setLocation(String, int, int, int, int) - Method in class astra.core.AbstractElement

setLocation(String, int, int, int, int) - Method in class astra.tr.AbstractAction

setMainClass(ASTRAClass) - Method in class astra.core.Agent

setParents(Class<ASTRAClass>[]) - Method in class astra.core.ASTRAClass

setRuleExecutor(RuleExecutor) - Method in class astra.statement.AbstractStatementHandler

setRuleExecutor(RuleExecutor) - Method in interface astra.statement.StatementHandler

setSleepTime(long) - Static method in class astra.core.Scheduler

setSleepTime(long) - Method in class astra.execution.AdaptiveSchedulerStrategy

setSleepTime(long) - Method in class astra.execution.BasicSchedulerStrategy

setSleepTime(long) - Method in class astra.execution.DummySchedulerStrategy

setSleepTime(long) - Method in class astra.execution.FairSchedulerStrategy

setSleepTime(long) - Method in interface astra.execution.SchedulerStrategy

setSleepTime(long) - Method in class astra.execution.TestSchedulerStrategy

setState(int) - Method in class astra.core.Agent

setState(Agent, int) - Static method in class astra.core.Scheduler

setState(Agent, int) - Method in class astra.execution.AdaptiveSchedulerStrategy

setState(Agent, int) - Method in class astra.execution.BasicSchedulerStrategy

setState(Agent, int) - Method in class astra.execution.DummySchedulerStrategy

setState(Agent, int) - Method in class astra.execution.FairSchedulerStrategy

setState(Agent, int) - Method in interface astra.execution.SchedulerStrategy

setState(Agent, int) - Method in class astra.execution.TestSchedulerStrategy

setStrategy(SchedulerStrategy) - Static method in class astra.core.Scheduler

setThreadPoolSize(int) - Static method in class astra.core.Scheduler

setThreadPoolSize(int) - Method in class astra.execution.AdaptiveSchedulerStrategy

setThreadPoolSize(int) - Method in class astra.execution.BasicSchedulerStrategy

setThreadPoolSize(int) - Method in class astra.execution.DummySchedulerStrategy

setThreadPoolSize(int) - Method in class astra.execution.FairSchedulerStrategy

setThreadPoolSize(int) - Method in interface astra.execution.SchedulerStrategy

setThreadPoolSize(int) - Method in class astra.execution.TestSchedulerStrategy

setTrace(boolean) - Method in class astra.core.Agent

setTraceRecorder(TraceRecorder) - Method in class astra.trace.TraceManager

setWorker(DebuggerWorker) - Method in class astra.debugger.Breakpoints

shutdown() - Static method in class astra.core.Scheduler

shutdown() - Method in class astra.execution.AdaptiveSchedulerStrategy

shutdown() - Method in class astra.execution.BasicSchedulerStrategy

shutdown() - Method in class astra.execution.DummySchedulerStrategy

shutdown() - Method in class astra.execution.FairSchedulerStrategy

shutdown() - Method in interface astra.execution.SchedulerStrategy

shutdown() - Method in class astra.execution.TestSchedulerStrategy

signature - Variable in class astra.event.ModuleEvent

signature() - Method in annotation type astra.core.Module.EVENT

signature() - Method in class astra.event.BeliefEvent

signature() - Method in interface astra.event.Event

signature() - Method in class astra.event.GoalEvent

signature() - Method in class astra.event.ModuleEvent

signature() - Method in class astra.event.ScopedBeliefEvent

signature() - Method in class astra.messaging.MessageEvent

signature() - Method in class astra.term.AtIndex

signature() - Method in class astra.term.Brackets

signature() - Method in class astra.term.Count

signature() - Method in class astra.term.FormulaTerm

signature() - Method in class astra.term.FromJson

signature() - Method in class astra.term.Funct

signature() - Method in class astra.term.Head

signature() - Method in class astra.term.ListSplitter

signature() - Method in class astra.term.ListTerm

signature() - Method in class astra.term.ModuleTerm

signature() - Method in class astra.term.NullTerm

signature() - Method in class astra.term.Operator

signature() - Method in class astra.term.Performative

signature() - Method in class astra.term.Primitive

signature() - Method in class astra.term.QueryTerm

signature() - Method in class astra.term.Tail

signature() - Method in interface astra.term.Term

signature() - Method in class astra.term.ToJson

signature() - Method in class astra.term.Variable

singleResult - Variable in class astra.reasoner.node.ReasonerNode

size() - Method in class astra.core.BeliefStore

size() - Method in class astra.core.EventBeliefManager

size() - Method in class astra.core.HierarchicalBeliefStore

size() - Method in class astra.formula.Predicate

size() - Method in class astra.term.Funct

size() - Method in class astra.term.ListTerm

socket - Variable in class astra.debugger.ChangeRequest

solutions - Variable in class astra.reasoner.node.ReasonerNode

solutions() - Method in class astra.reasoner.node.ReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ANDReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.BindReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.BracketReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ComparisonReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.IsDoneReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ModuleFormulaReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.NOTReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ORReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.PredicateReasonerNode

solve(Reasoner, Stack<ReasonerNode>) - Method in class astra.reasoner.node.ReasonerNode

source - Variable in class astra.event.GoalEvent

source() - Method in interface astra.core.Task

source() - Method in class astra.trace.TraceEvent

sources() - Method in class astra.reasoner.NewReasoner

sources() - Method in interface astra.reasoner.Reasoner

SpawnGoal - Class in astra.statement

SpawnGoal(Goal) - Constructor for class astra.statement.SpawnGoal

SpawnGoal(String, int[], Goal) - Constructor for class astra.statement.SpawnGoal

SpecialBeliefUpdate - Class in astra.statement

SpecialBeliefUpdate(Predicate) - Constructor for class astra.statement.SpecialBeliefUpdate

SpecialBeliefUpdate(String, int[], Predicate) - Constructor for class astra.statement.SpecialBeliefUpdate

SpecialOp - Class in astra.statement

SpecialOp(String, int[], SpecialOpAdaptor) - Constructor for class astra.statement.SpecialOp

SpecialOpAdaptor - Interface in astra.statement

start() - Method in class astra.debugger.DebuggerAPI

start() - Method in class astra.messaging.LocalMQService

start() - Method in class astra.messaging.MessageService

start() - Method in class astra.messaging.UDPMQService

StartCommand - Class in astra.debugger

StartCommand() - Constructor for class astra.debugger.StartCommand

startFunction(Predicate) - Method in class astra.core.Agent

startFunction(Predicate) - Method in class astra.core.Intention

State() - Constructor for class astra.debugger.Breakpoints.State

STATE_ACTIVE - Static variable in class astra.debugger.DebuggerAPI

STATE_INIT - Static variable in class astra.debugger.DebuggerAPI

statement - Variable in class astra.core.Rule

statement() - Method in interface astra.statement.StatementHandler

Statement - Interface in astra.statement

StatementExecutor - Class in astra.core

StatementExecutor(StatementHandler) - Constructor for class astra.core.StatementExecutor

StatementExecutor(StatementHandler, Map<Integer, Term>) - Constructor for class astra.core.StatementExecutor

StatementHandler - Interface in astra.statement

stepIn(String) - Method in class astra.debugger.Breakpoints

stepIn(String) - Method in class astra.debugger.DebuggerAPI

STEPIN - Static variable in class astra.debugger.Breakpoints.State

StepInCommand - Class in astra.debugger

StepInCommand() - Constructor for class astra.debugger.StepInCommand

stepOver(String) - Method in class astra.debugger.Breakpoints

stepOver(String) - Method in class astra.debugger.DebuggerAPI

STEPOVER - Static variable in class astra.debugger.Breakpoints.State

StepOverCommand - Class in astra.debugger

StepOverCommand() - Constructor for class astra.debugger.StepOverCommand

STEPPING - Static variable in class astra.core.Scheduler

stop() - Method in class astra.execution.AdaptiveSchedulerStrategy

stop() - Method in class astra.execution.BasicSchedulerStrategy

stop() - Method in class astra.execution.DummySchedulerStrategy

stop() - Method in class astra.execution.FairSchedulerStrategy

stop() - Method in interface astra.execution.SchedulerStrategy

stop() - Method in class astra.execution.TestSchedulerStrategy

stopFunction() - Method in class astra.core.Agent

stopFunction() - Method in class astra.core.Intention

stopFunction() - Method in class astra.tr.TRContext

store() - Method in class astra.core.EventBeliefManager

STRING - Static variable in class astra.type.Type

stringId() - Method in class astra.term.Performative

StringMapper - Class in astra.reasoner.util

StringMapper() - Constructor for class astra.reasoner.util.StringMapper

stringValue(Term) - Static method in class astra.type.Type

Subgoal - Class in astra.statement

Subgoal(Goal) - Constructor for class astra.statement.Subgoal

Subgoal(String, int[], Goal) - Constructor for class astra.statement.Subgoal

subList(int, int) - Method in class astra.term.ListTerm

subtype() - Method in class astra.type.ObjectType

suppressNotification() - Method in class astra.statement.DefaultModuleCallAdaptor

suppressNotification() - Method in interface astra.statement.ModuleCallAdaptor

suspend() - Method in class astra.core.Intention

symbols() - Method in annotation type astra.core.Module.EVENT

SynchronizedBlock - Class in astra.statement

SynchronizedBlock(String, int[], String, Statement) - Constructor for class astra.statement.SynchronizedBlock

T

tail() - Method in class astra.term.ListSplitter

Tail - Class in astra.term

Tail(Term) - Constructor for class astra.term.Tail

Task - Interface in astra.core

term() - Method in class astra.formula.Bind

term() - Method in class astra.term.AtIndex

term() - Method in class astra.term.Brackets

term() - Method in class astra.term.Count

term() - Method in class astra.term.FromJson

term() - Method in class astra.term.Head

term() - Method in class astra.term.Tail

term() - Method in class astra.term.ToJson

Term - Interface in astra.term

termAt(int) - Method in class astra.formula.Predicate

termAt(int) - Method in class astra.term.Funct

terminate() - Method in class astra.core.Agent

TERMINATED - Static variable in class astra.core.Agent

TERMINATING - Static variable in class astra.core.Agent

terms - Variable in class astra.messaging.Utilities.PredicateState

terms() - Method in class astra.formula.Predicate

terms() - Method in class astra.term.Funct

terms() - Method in class astra.term.ListTerm

Test - Class in astra.debugger

Test() - Constructor for class astra.debugger.Test

TestSchedulerStrategy - Class in astra.execution

Strategy: Agent added gets set to "WAITING" state Agents executed get set to "ACTIVE" state Agents suspended get set to a "SUSPENDED" state

TestSchedulerStrategy() - Constructor for class astra.execution.TestSchedulerStrategy

timestamp() - Method in class astra.trace.TraceEvent

timings - Static variable in class astra.core.Agent

toArray() - Method in class astra.term.ListTerm

toArray(Term[]) - Static method in class astra.term.LangUtils

toArray(T[]) - Method in class astra.term.ListTerm

toEvent(String) - Static method in class astra.reasoner.util.LogicUtilities

toId(String) - Method in class astra.reasoner.util.StringMapper

ToJson - Class in astra.term

ToJson(Term) - Constructor for class astra.term.ToJson

toLogic() - Method in class astra.core.ActionParam

toPredicate(String) - Static method in class astra.reasoner.util.LogicUtilities

toPredicateState(Formula) - Static method in class astra.messaging.Utilities

toString() - Method in class astra.core.AbstractTask

toString() - Method in class astra.core.Agent

toString() - Method in class astra.core.ASTRAClass

toString() - Method in class astra.core.GoalRule

toString() - Method in class astra.core.Intention

toString() - Method in class astra.core.Rule

toString() - Method in class astra.core.RuleExecutor

toString() - Method in class astra.core.StatementExecutor

toString() - Method in class astra.event.BeliefEvent

toString() - Method in class astra.event.GoalEvent

toString() - Method in class astra.event.ModuleEvent

toString() - Method in class astra.event.ScopedBeliefEvent

toString() - Method in class astra.execution.FairSchedulerStrategy

toString() - Method in class astra.execution.TestSchedulerStrategy

toString() - Method in class astra.formula.AND

toString() - Method in class astra.formula.Bind

toString() - Method in class astra.formula.BracketFormula

toString() - Method in class astra.formula.Comparison

toString() - Method in class astra.formula.Goal

toString() - Method in class astra.formula.Inference

toString() - Method in class astra.formula.ModuleFormula

toString() - Method in class astra.formula.NOT

toString() - Method in class astra.formula.OR

toString() - Method in class astra.formula.Predicate

toString() - Method in class astra.formula.ScopedGoal

toString() - Method in class astra.messaging.AstraMessage

toString() - Method in class astra.messaging.MessageEvent

toString() - Method in class astra.reasoner.node.NOTReasonerNode

toString() - Method in class astra.reasoner.node.PredicateReasonerNode

toString() - Method in class astra.statement.Block

toString() - Method in class astra.statement.ModuleCall

toString() - Method in class astra.statement.Query

toString() - Method in class astra.term.AtIndex

toString() - Method in class astra.term.Brackets

toString() - Method in class astra.term.FormulaTerm

toString() - Method in class astra.term.FromJson

toString() - Method in class astra.term.Funct

toString() - Method in class astra.term.Head

toString() - Method in class astra.term.ListSplitter

toString() - Method in class astra.term.ListTerm

toString() - Method in class astra.term.ModuleTerm

toString() - Method in class astra.term.Operator

toString() - Method in class astra.term.Performative

toString() - Method in class astra.term.Primitive

toString() - Method in class astra.term.QueryTerm

toString() - Method in class astra.term.Tail

toString() - Method in class astra.term.ToJson

toString() - Method in class astra.term.Variable

toString() - Method in class astra.tr.Function

toString() - Method in class astra.type.Type

toString(String) - Method in class astra.term.Operator

trace() - Method in class astra.core.Agent

trace() - Method in class astra.core.Intention

TraceEvent - Class in astra.trace

TraceEvent(String, Date, Agent) - Constructor for class astra.trace.TraceEvent

TraceEventListener - Interface in astra.trace

TraceManager - Class in astra.trace

TraceManager() - Constructor for class astra.trace.TraceManager

TraceRecorder - Interface in astra.trace

TRBeliefUpdate - Class in astra.tr

TRBeliefUpdate(char, String, int[], Predicate) - Constructor for class astra.tr.TRBeliefUpdate

TRContext - Class in astra.tr

TRContext(Agent, Predicate) - Constructor for class astra.tr.TRContext

TRRule - Class in astra.tr

TRRule(Formula, Action) - Constructor for class astra.tr.TRRule

TRStart - Class in astra.statement

TRStart(String, int[], Predicate) - Constructor for class astra.statement.TRStart

TRStop - Class in astra.statement

TRStop(String, int[]) - Constructor for class astra.statement.TRStop

TRStopAction - Class in astra.tr

TRStopAction() - Constructor for class astra.tr.TRStopAction

TRUE - Static variable in class astra.formula.Predicate

TryRecover - Class in astra.statement

TryRecover(String, int[], Statement, Statement) - Constructor for class astra.statement.TryRecover

type - Variable in class astra.debugger.ChangeRequest

type - Variable in class astra.event.BeliefEvent

type - Variable in class astra.event.GoalEvent

type() - Method in class astra.event.BeliefEvent

type() - Method in class astra.event.GoalEvent

type() - Method in class astra.formula.AcreFormula

type() - Method in class astra.term.AtIndex

type() - Method in class astra.term.Brackets

type() - Method in class astra.term.Count

type() - Method in class astra.term.FormulaTerm

type() - Method in class astra.term.FromJson

type() - Method in class astra.term.Funct

type() - Method in class astra.term.Head

type() - Method in class astra.term.ListSplitter

type() - Method in class astra.term.ListTerm

type() - Method in class astra.term.ModuleTerm

type() - Method in class astra.term.NullTerm

type() - Method in class astra.term.Operator

type() - Method in class astra.term.Performative

type() - Method in class astra.term.Primitive

type() - Method in class astra.term.QueryTerm

type() - Method in class astra.term.Tail

type() - Method in interface astra.term.Term

type() - Method in class astra.term.ToJson

type() - Method in class astra.term.Variable

type() - Method in class astra.trace.TraceEvent

Type - Class in astra.type

Type(String) - Constructor for class astra.type.Type

types() - Method in annotation type astra.core.Module.EVENT

types() - Method in annotation type astra.core.Module.FORMULA

U

UDPMQService - Class in astra.messaging

UDPMQService() - Constructor for class astra.messaging.UDPMQService

UnboundVariableException - Exception in astra.core

UnboundVariableException(String) - Constructor for exception astra.core.UnboundVariableException

Unifier - Class in astra.reasoner

This class performs unification of logical formulae and events.

Unifier() - Constructor for class astra.reasoner.Unifier

unify(BeliefEvent, BeliefEvent, Agent) - Method in class astra.reasoner.unifier.BeliefEventUnifier

unify(Event, Event, Agent) - Static method in class astra.reasoner.Unifier

unify(GoalEvent, GoalEvent, Agent) - Method in class astra.reasoner.unifier.GoalEventUnifier

unify(Formula, Formula, Map<Integer, Term>, Agent) - Method in interface astra.reasoner.FormulaUnifier

unify(Formula, Formula, Map<Integer, Term>, Agent) - Method in class astra.reasoner.unifier.AcreFormulaUnifier

unify(Formula, Formula, Map<Integer, Term>, Agent) - Method in class astra.reasoner.unifier.ANDUnifier

unify(Formula, Formula, Map<Integer, Term>, Agent) - Method in class astra.reasoner.unifier.FormulaVariableUnifier

unify(Formula, Formula, Map<Integer, Term>, Agent) - Method in class astra.reasoner.unifier.PredicateUnifier

unify(Formula, Formula, Map<Integer, Term>, Agent) - Static method in class astra.reasoner.Unifier

unify(Goal, Goal, Agent) - Static method in class astra.reasoner.Unifier

Generate variable bindings for two achievement goals or return null if there is no binding...

unify(Predicate, Predicate, Agent) - Static method in class astra.reasoner.Unifier

Generate variable bindings for two predicates or return null if there is no binding...

unify(MessageEvent, MessageEvent, Agent) - Method in class astra.reasoner.unifier.MessageEventUnifier

unify(Term[], Term[], Map<Integer, Term>, Agent) - Static method in class astra.reasoner.Unifier

unify(T, T, Agent) - Method in interface astra.reasoner.EventUnifier

UNKNOWN - Static variable in interface astra.debugger.DebuggerCommand

unrequestLock(String, Intention) - Method in class astra.core.Agent

unrequestLock(String, Intention) - Method in class astra.core.Intention

UnsupportedTypeCastException - Exception in astra.type

UnsupportedTypeCastException(String) - Constructor for exception astra.type.UnsupportedTypeCastException

update() - Method in class astra.core.EventBeliefManager

update(TraceEvent) - Method in interface astra.trace.TraceEventListener

updateRuleBindings(Map<Integer, Term>) - Method in class astra.core.RuleExecutor

updateVariable(Variable, Term) - Method in class astra.core.Intention

Moves down through the ruleexecutor stack looking for a ruleexecutor that has the variable being updated...

updateVariable(Variable, Term) - Method in class astra.core.RuleExecutor

updateVariable(Variable, Term) - Method in class astra.core.StatementExecutor

Utilities - Class in astra.messaging

Utilities - Class in astra.reasoner.util

Utilities() - Constructor for class astra.messaging.Utilities

Utilities() - Constructor for class astra.reasoner.util.Utilities

Utilities.PredicateState - Class in astra.messaging

V

value() - Method in class astra.formula.FormulaVariable

value() - Method in class astra.term.Brackets

value() - Method in class astra.term.FormulaTerm

value() - Method in class astra.term.ListSplitter

value() - Method in class astra.term.Performative

value() - Method in class astra.term.Primitive

value() - Method in class astra.term.QueryTerm

value(Formula) - Method in class astra.formula.FormulaVariable

variable() - Method in class astra.formula.Bind

variable() - Method in class astra.formula.FormulaVariable

Variable - Class in astra.term

Variable(Type, int) - Constructor for class astra.term.Variable

Variable(Type, String) - Constructor for class astra.term.Variable

Variable(Type, String, boolean) - Constructor for class astra.term.Variable

variables() - Method in class astra.reasoner.util.VariableVisitor

variableTrace() - Method in class astra.core.RuleExecutor

VariableVisitor - Class in astra.reasoner.util

VariableVisitor() - Constructor for class astra.reasoner.util.VariableVisitor

VariableVisitor.Handler<T> - Interface in astra.reasoner.util

visit(Formula) - Method in class astra.reasoner.util.AbstractEvaluateVisitor

visit(Formula) - Method in class astra.reasoner.util.BindingsEvaluateVisitor

visit(Formula) - Method in class astra.reasoner.util.ContextEvaluateVisitor

visit(Formula) - Method in interface astra.reasoner.util.LogicVisitor

visit(Formula) - Method in class astra.reasoner.util.RenameVisitor

visit(Formula) - Method in class astra.reasoner.util.VariableVisitor

visit(Term) - Method in class astra.reasoner.util.AbstractEvaluateVisitor

visit(Term) - Method in class astra.reasoner.util.BindingsEvaluateVisitor

visit(Term) - Method in class astra.reasoner.util.ContextEvaluateVisitor

visit(Term) - Method in interface astra.reasoner.util.LogicVisitor

visit(Term) - Method in class astra.reasoner.util.RenameVisitor

visit(Term) - Method in class astra.reasoner.util.VariableVisitor

visitor - Variable in class astra.reasoner.node.ReasonerNode

W

Wait - Class in astra.statement

Wait(String, int[], Formula) - Constructor for class astra.statement.Wait

Wait(String, int[], Formula, Term) - Constructor for class astra.statement.Wait

waitForResponse() - Method in class astra.debugger.DebuggerHandler

WAITING - Static variable in class astra.core.Scheduler

While - Class in astra.statement

While(String, int[], Formula, Statement) - Constructor for class astra.statement.While

write(String) - Method in class astra.debugger.Client

write(String) - Method in class astra.debugger.Server

A B C D E F G H I L M N O P Q R S T U V W
All Classes All Packages