Uses of Interface
astra.reasoner.util.LogicVisitor

Packages that use LogicVisitor

Package	Description
astra.core
astra.event
astra.formula
astra.messaging
astra.reasoner.util
astra.term

Uses of LogicVisitor in astra.core

Methods in astra.core with parameters of type LogicVisitor

Modifier and Type	Method	Description
Rule	GoalRule.accept(LogicVisitor visitor)
Rule	Rule.accept(LogicVisitor visitor)

Uses of LogicVisitor in astra.event

Methods in astra.event with parameters of type LogicVisitor

Modifier and Type	Method	Description
Event	BeliefEvent.accept(LogicVisitor visitor)
Event	Event.accept(LogicVisitor visitor)
Event	GoalEvent.accept(LogicVisitor visitor)
Event	ModuleEvent.accept(LogicVisitor visitor)
Event	ScopedBeliefEvent.accept(LogicVisitor visitor)

Uses of LogicVisitor in astra.formula

Methods in astra.formula with parameters of type LogicVisitor

Modifier and Type	Method	Description
Object	AcreFormula.accept(LogicVisitor visitor)
Object	AND.accept(LogicVisitor visitor)
Object	Bind.accept(LogicVisitor visitor)
Object	BracketFormula.accept(LogicVisitor visitor)
Object	Comparison.accept(LogicVisitor visitor)
Object	Formula.accept(LogicVisitor visitor)
Object	FormulaVariable.accept(LogicVisitor visitor)
Object	Goal.accept(LogicVisitor visitor)
Object	Inference.accept(LogicVisitor visitor)
Object	IsDone.accept(LogicVisitor visitor)
Object	IsNull.accept(LogicVisitor visitor)
Object	ModuleFormula.accept(LogicVisitor visitor)
Object	NOT.accept(LogicVisitor visitor)
Object	OR.accept(LogicVisitor visitor)
Object	Predicate.accept(LogicVisitor visitor)
Object	ScopedGoal.accept(LogicVisitor visitor)

Uses of LogicVisitor in astra.messaging

Methods in astra.messaging with parameters of type LogicVisitor

Modifier and Type	Method	Description
Event	MessageEvent.accept(LogicVisitor visitor)
Object	Utilities.PredicateState.accept(LogicVisitor visitor)

Uses of LogicVisitor in astra.reasoner.util

Classes in astra.reasoner.util that implement LogicVisitor

Modifier and Type	Class	Description
class	AbstractEvaluateVisitor
class	BindingsEvaluateVisitor
class	ContextEvaluateVisitor
class	RenameVisitor
class	VariableVisitor

Methods in astra.reasoner.util with parameters of type LogicVisitor

Modifier and Type	Method	Description
Object	AbstractEvaluateVisitor.Handler.handle(LogicVisitor visitor, T object, boolean passByValue)
Object	BindingsEvaluateVisitor.Handler.handle(LogicVisitor visitor, T object, Map<Integer,Term> bindings, Agent agent)
Object	ContextEvaluateVisitor.Handler.handle(LogicVisitor visitor, T object, Intention context)
Object	RenameVisitor.Handler.handle(LogicVisitor visitor, T object, String modifier, Map<Integer,Term> bindings)
Object	VariableVisitor.Handler.handle(LogicVisitor visitor, T object, Set<Variable> variables)

Uses of LogicVisitor in astra.term

Methods in astra.term with parameters of type LogicVisitor

Modifier and Type	Method	Description
Object	AtIndex.accept(LogicVisitor visitor)
Object	Brackets.accept(LogicVisitor visitor)
Object	Count.accept(LogicVisitor visitor)
Object	FormulaTerm.accept(LogicVisitor visitor)
Object	FromJson.accept(LogicVisitor visitor)
Object	Funct.accept(LogicVisitor visitor)
Object	Head.accept(LogicVisitor visitor)
Object	ListSplitter.accept(LogicVisitor visitor)
Object	ListTerm.accept(LogicVisitor visitor)
Object	ModuleTerm.accept(LogicVisitor visitor)
Object	NullTerm.accept(LogicVisitor visitor)
Object	Operator.accept(LogicVisitor visitor)
Object	Performative.accept(LogicVisitor visitor)
Object	Primitive.accept(LogicVisitor visitor)
Object	QueryTerm.accept(LogicVisitor visitor)
Object	Tail.accept(LogicVisitor visitor)
Object	Term.accept(LogicVisitor visitor)
Object	ToJson.accept(LogicVisitor visitor)
Object	Variable.accept(LogicVisitor visitor)