Package | Description |
---|---|
casa |
The casa package is the main package for CASA (Collaborative Agent System
Architecture), which is an infrastructure for agent based systems.
|
casa.conversation2 | |
casa.jade | |
jade.semantics.actions | |
jade.semantics.interpreter | |
jade.semantics.kbase |
Provides the classes to handle the belief base of JSA agents.
|
jade.semantics.kbase.filters.std | |
jade.semantics.kbase.filters.std.assertion |
Provides all generic assertion filters needed by the
FilterKBase
implementation. |
jade.semantics.kbase.filters.std.builtins | |
jade.semantics.kbase.filters.std.query |
Provides all generic query filters needed by the
FilterKBase
implementation. |
jade.semantics.lang.sl.grammar |
Provides the hierarchy of classes implementing the abstract grammar of the
FIPA-SL language.
|
jade.semantics.lang.sl.grammar.operations |
Provides the implementation of the operations defined on the nodes of the
abstract grammar of the FIPA-SL language.
|
jade.semantics.lang.sl.parser |
Provides the classes used by the JSA engine to parse and unparse FIPA-SL
expressions.
|
jade.semantics.lang.sl.tools |
Provides useful classes to handle FIPA-SL expressions.
|
Modifier and Type | Method and Description |
---|---|
static Collection<Term> |
TransientAgent.getTermsFromContent(Content cont) |
List<Term> |
TransientAgent.queryRef_toTermList(String formula) |
Collection<Term> |
TransientAgent.queryRef(URLDescriptor url,
String expression,
long timeout)
Sends a synchronous query ref the url and returns the
reply.
|
Modifier and Type | Method and Description |
---|---|
protected void |
SubscribeClientConversation.update(URLDescriptor agentB,
Term exp) |
Modifier and Type | Method and Description |
---|---|
Term |
CasaKB.eval(Term expression) |
Term |
CasaKB.getAgentName() |
protected Term |
CasaQueryFilter.getTerm(MatchResult applyResult,
String var) |
Term |
CasaKB.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
CasaKB.queryRefSingleTerm(IdentifyingExpression expression) |
Modifier and Type | Method and Description |
---|---|
Term |
CasaKB.eval(Term expression) |
void |
CasaKB.setAgentName(Term agent) |
Modifier and Type | Field and Description |
---|---|
static Term |
CommunicativeAction.COMMUNICATIVE_ACTION_PATTERN
General pattern used to recognize action expressions denoting
a communicative action
|
Modifier and Type | Method and Description |
---|---|
Term |
SemanticAction.getActor()
Returns a Term that represents the actor of the action.
|
Term |
SemanticAction.getAuthor()
Deprecated.
Use
SemanticAction.getActor() instead |
Term |
CommunicativeAction.getReceiver()
Returns the first receiver of the receiver list.
|
Modifier and Type | Method and Description |
---|---|
SemanticAction |
CommunicativeAction.newAction(Term author,
ListOfTerm receivers,
Content content,
CommunicativeAction inReplyTo)
Creates an instance of Semantic Action from a sender, receivers and content,
such that it is a consistent reply to another communicative action
|
void |
CommunicativeAction.setAuthor(Term author)
Sets the author of the action.
|
void |
CommunicativeAction.setReceiver(Term receiver)
Sets a unique receiver to this communicative action
|
Modifier and Type | Field and Description |
---|---|
static Term |
Tools.AGENT_IDENTIFIER_PATTERN
General pattern used to recognize functional terms denoting
agent descriptors
|
private Term |
SemanticInterpretationException.object
Object of the exception
|
Modifier and Type | Method and Description |
---|---|
static Term |
Tools.AID2Term(AID aid)
Returns the term representing an agent to the corresponding AID.
|
Term |
SemanticInterpretationException.getObject()
Returns the object of the exception
|
Modifier and Type | Method and Description |
---|---|
static boolean |
Tools.isCommunicativeActionFromMeToReceiver(ActionExpression actionExp,
Term receiver,
SemanticCapabilities capabilities)
Tests if the action expression given in parameter is a communicative
action from the semantic agent (me) to the specified receiver.
|
protected void |
SemanticInterpretationException.setObject(Term object)
Sets the object of the exception
|
static AID |
Tools.term2AID(Term agentTerm)
Returns the AID corresponding to the term representing an agent.
|
Constructor and Description |
---|
SemanticInterpretationException(String reason,
Term object)
Creates a new SemanticInterpretationException
|
Modifier and Type | Field and Description |
---|---|
(package private) Term |
ArrayListKBaseImpl.agentName
All the beliefs of this KBase have the form (B agentName ...)
|
private Term |
ArrayListKBaseImpl.DataStorage.agentName |
Modifier and Type | Method and Description |
---|---|
Term |
KBaseDecorator.eval(Term expression) |
Term |
KBase.eval(Term expression) |
Term |
ArrayListKBaseImpl.eval(Term expression) |
Term |
KBaseDecorator.getAgentName() |
Term |
KBase.getAgentName()
Get the name of the agent (given as a FIPA-SL term representing his AID)
owning this
KBase instance. |
Term |
ArrayListKBaseImpl.getAgentName() |
Term |
ArrayListKBaseImpl.DataStorage.getAgentNameAttribute() |
Term |
KBaseDecorator.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
KBase.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
ArrayListKBaseImpl.queryRef(IdentifyingExpression expression,
ArrayList falsityReasons) |
Term |
KBaseDecorator.queryRefSingleTerm(IdentifyingExpression expression) |
Term |
KBase.queryRefSingleTerm(IdentifyingExpression expression)
Return a term satisfying a given logical description (expressed
as an Identifying Referential Expression), which is believed by the agent
owning this
KBase instance. |
Term |
ArrayListKBaseImpl.queryRefSingleTerm(IdentifyingExpression expression)
Allways returns a single term depending on the IRE
and the result list returned by queryRef.
|
Modifier and Type | Method and Description |
---|---|
Term |
KBaseDecorator.eval(Term expression) |
Term |
KBase.eval(Term expression) |
Term |
ArrayListKBaseImpl.eval(Term expression) |
void |
KBaseDecorator.setAgentName(Term agent) |
void |
KBase.setAgentName(Term agent)
Modify the agent (given as a FIPA-SL term representing his AID) the
beliefs stored in this
KBase instance belong to. |
void |
ArrayListKBaseImpl.setAgentName(Term agent) |
Constructor and Description |
---|
ArrayListKBaseImpl(Term agentName)
Creates a new belief base.
|
ArrayListKBaseImpl(Term agentName,
KBase wrappingKBase)
Creates a new belief base.
|
DataStorage(Term agentName) |
Modifier and Type | Field and Description |
---|---|
private Term |
NestedBeliefFilters.agentPattern |
Modifier and Type | Method and Description |
---|---|
(package private) Term |
FunctionalTermTableImpl.FT.getField(String field) |
Modifier and Type | Method and Description |
---|---|
private boolean |
NestedBeliefFilters.checkOrInstantiate(Term term,
Term value) |
boolean |
NestedBeliefFilters.handleNestedBeliefFrom(Term agent) |
private boolean |
NestedBeliefFilters.isPositiveMentalAttitude(Formula formula,
Term term) |
abstract KBase |
NestedBeliefFilters.newInstance(Term agent)
Creates a new instance of KBase.
|
Constructor and Description |
---|
HornClauseQueryFilter(Term agentName,
Formula head,
Formula body) |
NestedBeliefFilters(Term agentPattern) |
Modifier and Type | Field and Description |
---|---|
protected Term |
AllIREFilter.termPattern |
Modifier and Type | Method and Description |
---|---|
protected Term |
NowFunction.eval(KBase kb) |
protected abstract Term |
ConstantFunction.eval(KBase kb) |
protected Term |
YearFunction.eval(Term i1,
KBase kb) |
protected abstract Term |
UnaryFunction.eval(Term i1,
KBase kb) |
protected Term |
CardFunction.eval(Term i1,
KBase kb) |
protected Term |
SumFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
ProductFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
DivisionFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
DifferenceFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
ConcatFunction.eval(Term i1,
Term i2,
KBase kb) |
protected abstract Term |
BinaryFunction.eval(Term i1,
Term i2,
KBase kb) |
Modifier and Type | Method and Description |
---|---|
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V2V3Values(KBase kb) |
protected Set<Vector<Term>> |
BinaryPredicate.doQueryV1V2Values(KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V2Values(Term i3,
KBase kb) |
protected Set<Vector<Term>> |
NthPredicate.doQueryV1V2Values(Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V3Values(Term i2,
KBase kb) |
protected Set<Term> |
UnaryPredicate.doQueryV1Values(KBase kb) |
protected Set<Term> |
ConstantFunction.doQueryV1Values(KBase kb) |
protected Set<Term> |
MemberPredicate.doQueryV1Values(Term i2,
KBase kb) |
protected Set<Term> |
BinaryPredicate.doQueryV1Values(Term i2,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV1Values(Term i2,
Term i3,
KBase kb) |
protected Set<Term> |
NthPredicate.doQueryV1Values(Term i2,
Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV2V3Values(Term i1,
KBase kb) |
protected Set<Term> |
UnaryFunction.doQueryV2Values(Term i1,
KBase kb) |
protected Set<Term> |
BinaryPredicate.doQueryV2Values(Term i1,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV2Values(Term i1,
Term i3,
KBase kb) |
protected Set<Term> |
NthPredicate.doQueryV2Values(Term i1,
Term i3,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV3Values(Term i1,
Term i2,
KBase kb) |
protected Set<Term> |
BinaryFunction.doQueryV3Values(Term i1,
Term i2,
KBase kb) |
Modifier and Type | Method and Description |
---|---|
Formula |
UnaryPredicate.assertFalse(Term v1,
KBase kb) |
Formula |
BinaryPredicate.assertFalse(Term v1,
Term v2,
KBase kb) |
Formula |
TernaryPredicate.assertFalse(Term v1,
Term v2,
Term v3,
KBase kb) |
Formula |
UnaryPredicate.assertTrue(Term v1,
KBase kb) |
Formula |
BinaryPredicate.assertTrue(Term v1,
Term v2,
KBase kb)
PUBLIC METHODS
|
Formula |
TernaryPredicate.assertTrue(Term v1,
Term v2,
Term v3,
KBase kb)
PUBLIC METHODS
|
protected boolean |
YearFunction.checkDomainV1(Term i1) |
protected boolean |
UnaryPredicate.checkDomainV1(Term i1)
METHODS TO OVERRIDE
|
protected boolean |
TernaryPredicate.checkDomainV1(Term i1) |
protected boolean |
SumFunction.checkDomainV1(Term i1) |
protected boolean |
ProductFunction.checkDomainV1(Term i1) |
protected boolean |
NthPredicate.checkDomainV1(Term i1) |
protected boolean |
NowFunction.checkDomainV1(Term i1) |
protected boolean |
MemberPredicate.checkDomainV1(Term i1) |
protected boolean |
DivisionFunction.checkDomainV1(Term i1) |
protected boolean |
DifferenceFunction.checkDomainV1(Term i1) |
protected boolean |
ConcatFunction.checkDomainV1(Term i1) |
protected boolean |
CardFunction.checkDomainV1(Term i1) |
protected boolean |
BinaryPredicate.checkDomainV1(Term i1) |
protected boolean |
TernaryPredicate.checkDomainV1V2(Term i1,
Term i2) |
protected boolean |
LesserThanPredicate.checkDomainV1V2(Term i1,
Term i2) |
protected boolean |
BinaryPredicate.checkDomainV1V2(Term i1,
Term i2)
METHODS TO OVERRIDE
|
protected boolean |
TernaryPredicate.checkDomainV1V2V3(Term i1,
Term i2,
Term i3)
METHODS TO OVERRIDE
|
protected boolean |
TernaryPredicate.checkDomainV1V3(Term i1,
Term i3) |
protected boolean |
YearFunction.checkDomainV2(Term i2) |
protected boolean |
TernaryPredicate.checkDomainV2(Term i2) |
protected boolean |
SumFunction.checkDomainV2(Term i2) |
protected boolean |
ProductFunction.checkDomainV2(Term i2) |
protected boolean |
NthPredicate.checkDomainV2(Term i2) |
protected boolean |
MemberPredicate.checkDomainV2(Term i2) |
protected boolean |
DivisionFunction.checkDomainV2(Term i2) |
protected boolean |
DifferenceFunction.checkDomainV2(Term i2) |
protected boolean |
ConcatFunction.checkDomainV2(Term i2) |
protected boolean |
CardFunction.checkDomainV2(Term i2) |
protected boolean |
BinaryPredicate.checkDomainV2(Term i2) |
protected boolean |
TernaryPredicate.checkDomainV2V3(Term i2,
Term i3) |
protected boolean |
TernaryPredicate.checkDomainV3(Term i3) |
protected boolean |
SumFunction.checkDomainV3(Term i3) |
protected boolean |
ProductFunction.checkDomainV3(Term i3) |
protected boolean |
NthPredicate.checkDomainV3(Term i3) |
protected boolean |
DivisionFunction.checkDomainV3(Term i3) |
protected boolean |
DifferenceFunction.checkDomainV3(Term i3) |
protected boolean |
ConcatFunction.checkDomainV3(Term i3) |
protected Formula |
UnaryPredicate.doAssertFalse(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doAssertFalse(Term i1,
Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doAssertFalse(Term i1,
Term i2,
Term i3,
KBase kb) |
protected Formula |
UnaryPredicate.doAssertTrue(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doAssertTrue(Term i1,
Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doAssertTrue(Term i1,
Term i2,
Term i3,
KBase kb) |
protected boolean |
UnaryPredicate.doQuery(Term i1,
KBase kb) |
protected boolean |
ConstantFunction.doQuery(Term i1,
KBase kb) |
protected boolean |
UnaryFunction.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
MemberPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
LesserThanPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
LesserThanOrEqualPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
BinaryPredicate.doQuery(Term i1,
Term i2,
KBase kb) |
protected boolean |
TernaryPredicate.doQuery(Term i1,
Term i2,
Term i3,
KBase kb) |
protected boolean |
NthPredicate.doQuery(Term i1,
Term i2,
Term i3,
KBase kb) |
protected boolean |
BinaryFunction.doQuery(Term i1,
Term i2,
Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V2Values(Term i3,
KBase kb) |
protected Set<Vector<Term>> |
NthPredicate.doQueryV1V2Values(Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV1V3Values(Term i2,
KBase kb) |
protected Set<Term> |
MemberPredicate.doQueryV1Values(Term i2,
KBase kb) |
protected Set<Term> |
BinaryPredicate.doQueryV1Values(Term i2,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV1Values(Term i2,
Term i3,
KBase kb) |
protected Set<Term> |
NthPredicate.doQueryV1Values(Term i2,
Term i3,
KBase kb) |
protected Set<Vector<Term>> |
TernaryPredicate.doQueryV2V3Values(Term i1,
KBase kb) |
protected Set<Term> |
UnaryFunction.doQueryV2Values(Term i1,
KBase kb) |
protected Set<Term> |
BinaryPredicate.doQueryV2Values(Term i1,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV2Values(Term i1,
Term i3,
KBase kb) |
protected Set<Term> |
NthPredicate.doQueryV2Values(Term i1,
Term i3,
KBase kb) |
protected Set<Term> |
TernaryPredicate.doQueryV3Values(Term i1,
Term i2,
KBase kb) |
protected Set<Term> |
BinaryFunction.doQueryV3Values(Term i1,
Term i2,
KBase kb) |
protected Formula |
UnaryPredicate.doRetract(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doRetract(Term i1,
Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doRetract(Term i1,
Term i2,
Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V2Values(Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V3Values(Term i2,
KBase kb) |
protected Formula |
BinaryPredicate.doRetractV1Values(Term i2,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1Values(Term i2,
Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV2V3Values(Term i1,
KBase kb) |
protected Formula |
BinaryPredicate.doRetractV2Values(Term i1,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV2Values(Term i1,
Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV3Values(Term i1,
Term i2,
KBase kb) |
protected Term |
YearFunction.eval(Term i1,
KBase kb) |
protected abstract Term |
UnaryFunction.eval(Term i1,
KBase kb) |
protected Term |
CardFunction.eval(Term i1,
KBase kb) |
protected Term |
SumFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
ProductFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
DivisionFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
DifferenceFunction.eval(Term i1,
Term i2,
KBase kb) |
protected Term |
ConcatFunction.eval(Term i1,
Term i2,
KBase kb) |
protected abstract Term |
BinaryFunction.eval(Term i1,
Term i2,
KBase kb) |
QueryResult |
UnaryPredicate.query(Term v1,
KBase kb) |
QueryResult |
BinaryPredicate.query(Term v1,
Term v2,
KBase kb) |
QueryResult |
TernaryPredicate.query(Term v1,
Term v2,
Term v3,
KBase kb) |
Formula |
UnaryPredicate.retract(Term v1,
KBase kb) |
Formula |
BinaryPredicate.retract(Term v1,
Term v2,
KBase kb) |
Formula |
TernaryPredicate.retract(Term v1,
Term v2,
Term v3,
KBase kb) |
Modifier and Type | Method and Description |
---|---|
protected QueryResult |
BuiltInPredicate.querySingleValues(MetaTermReferenceNode v1,
Set<Term> values) |
protected QueryResult |
BuiltInPredicate.queryTupleValues(MetaTermReferenceNode[] metaRefs,
Set<Vector<Term>> values) |
Modifier and Type | Field and Description |
---|---|
private Term |
IREFilter.termPattern |
Modifier and Type | Method and Description |
---|---|
private QueryResult |
IREFilter.notPatternProcess(Formula formula,
ListOfNodes listOfNodes,
Term termPattern,
Formula formulaPattern,
IdentifyingExpression ire,
Term term)
Returns a QueryResult corresponding to the answer to the query.
|
private QueryResult |
IREFilter.patternProcess(Formula formula,
ListOfNodes listOfNodes,
Term termPattern,
Formula formulaPattern,
IdentifyingExpression ire,
Term term)
Returns a QueryResult corresponding to the answer to the query.
|
Modifier and Type | Class and Description |
---|---|
class |
ActionExpression |
class |
ActionExpressionNode |
class |
AllNode |
class |
AlternativeActionExpressionNode |
class |
AnyNode |
class |
ByteConstantNode |
class |
Constant |
class |
Content |
class |
ContentNode |
class |
DateTimeConstantNode |
class |
Fact |
class |
FactNode |
class |
FunctionalTerm |
class |
FunctionalTermNode |
class |
FunctionalTermParamNode |
class |
IdentifyingExpression |
class |
IntegerConstant |
class |
IntegerConstantNode |
class |
IotaNode |
class |
MetaTermReferenceNode |
class |
MetaVariableReferenceNode |
class |
RealConstantNode |
class |
RelativeTimeConstantNode |
class |
SequenceActionExpressionNode |
class |
SomeNode |
class |
StringConstant |
class |
StringConstantNode |
class |
TermSequence |
class |
TermSequenceNode |
class |
TermSet |
class |
TermSetNode |
class |
Variable |
class |
VariableNode |
class |
WordConstantNode |
Modifier and Type | Field and Description |
---|---|
(package private) Term |
Term._sm_simplified_term |
(package private) Term |
MetaTermReferenceNode._sm_value |
Modifier and Type | Method and Description |
---|---|
Term |
ActionFormula.as_action() |
Term |
ModalLogicFormula.as_agent() |
Term |
ActionExpressionNode.as_agent() |
Term |
InstitutionalFactNode.as_institution() |
Term |
CountAsNode.as_institution() |
Term |
SequenceActionExpressionNode.as_left_action() |
Term |
AlternativeActionExpressionNode.as_left_action() |
Term |
EqualsNode.as_left_term() |
Term |
SequenceActionExpressionNode.as_right_action() |
Term |
AlternativeActionExpressionNode.as_right_action() |
Term |
EqualsNode.as_right_term() |
Term |
IdentifyingExpression.as_term() |
Term |
ActionExpressionNode.as_term() |
Term |
ResultNode.as_term1() |
Term |
ResultNode.as_term2() |
Term |
Parameter.as_value() |
Term |
ListOfTerm.element(int i) |
Term |
ListOfTerm.first() |
Term |
ActionExpression.getActor() |
Term |
ActionExpression.Operations.getActor(ActionExpression node) |
Term |
FunctionalTermParamNode.Operations.getParameter(FunctionalTermParamNode node,
String name) |
Term |
FunctionalTermParamNode.getParameter(String name) |
Term |
Term.getSimplifiedTerm() |
Term |
Term.Operations.getSimplifiedTerm(Term node) |
Term |
TermSet.getTerm(int i) |
Term |
TermSequence.getTerm(int i) |
Term |
TermSequence.Operations.getTerm(TermSequence node,
int i) |
Term |
TermSet.Operations.getTerm(TermSet node,
int i) |
Term |
Term.instantiate(String varname,
Node expression) |
Term |
Term.Operations.instantiate(Term node,
String varname,
Node expression) |
Term |
ListOfTerm.last() |
Term |
Term.sm_simplified_term() |
Term |
MetaTermReferenceNode.sm_value() |
Modifier and Type | Method and Description |
---|---|
void |
TermSet.addTerm(Term term) |
void |
TermSequence.addTerm(Term term) |
void |
TermSequence.Operations.addTerm(TermSequence node,
Term term) |
void |
TermSet.Operations.addTerm(TermSet node,
Term term) |
void |
ListOfTerm.append(Term e) |
void |
ActionFormula.as_action(Term s) |
void |
ModalLogicFormula.as_agent(Term s) |
void |
ActionExpressionNode.as_agent(Term s) |
void |
InstitutionalFactNode.as_institution(Term s) |
void |
CountAsNode.as_institution(Term s) |
void |
SequenceActionExpressionNode.as_left_action(Term s) |
void |
AlternativeActionExpressionNode.as_left_action(Term s) |
void |
EqualsNode.as_left_term(Term s) |
void |
SequenceActionExpressionNode.as_right_action(Term s) |
void |
AlternativeActionExpressionNode.as_right_action(Term s) |
void |
EqualsNode.as_right_term(Term s) |
void |
IdentifyingExpression.as_term(Term s) |
void |
ActionExpressionNode.as_term(Term s) |
void |
ResultNode.as_term1(Term s) |
void |
ResultNode.as_term2(Term s) |
void |
Parameter.as_value(Term s) |
Formula |
Formula.Operations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
Formula.getDoubleMirror(Term i,
Term j,
boolean default_result_is_true) |
Term |
Term.Operations.getSimplifiedTerm(Term node) |
Term |
Term.Operations.instantiate(Term node,
String varname,
Node expression) |
Formula |
Formula.Operations.isBeliefFrom(Formula node,
Term agent) |
Formula |
Formula.isBeliefFrom(Term agent) |
Formula |
Formula.Operations.isExistsOn(Formula node,
Term variable) |
Formula |
Formula.isExistsOn(Term variable) |
boolean |
Formula.Operations.isInstitutionalFact(Formula node,
Term term) |
boolean |
Formula.isInstitutionalFact(Term term) |
Formula |
Formula.Operations.isInstitutionalFactFrom(Formula node,
Term institution) |
Formula |
Formula.isInstitutionalFactFrom(Term institution) |
boolean |
Formula.Operations.isMentalAttitude(Formula node,
Term term) |
boolean |
Formula.isMentalAttitude(Term term) |
MatchResult |
Term.Operations.match(Term node,
Node expression) |
void |
ListOfTerm.prepend(Term e) |
void |
TermSet.removeTerm(Term term) |
void |
TermSequence.removeTerm(Term term) |
void |
TermSequence.Operations.removeTerm(TermSequence node,
Term term) |
void |
TermSet.Operations.removeTerm(TermSet node,
Term term) |
void |
FunctionalTermParamNode.Operations.setParameter(FunctionalTermParamNode node,
String name,
Term term) |
void |
FunctionalTermParamNode.setParameter(String name,
Term term) |
void |
Term.Operations.simplify(Term node) |
void |
Term.sm_simplified_term(Term o) |
void |
MetaTermReferenceNode.sm_value(Term o) |
Constructor and Description |
---|
ActionExpressionNode(Term as_agent,
Term as_term) |
ActionFormula(int capacity,
Term as_action,
Formula as_formula) |
AllNode(Term as_term,
Formula as_formula) |
AlternativeActionExpressionNode(Term as_left_action,
Term as_right_action) |
AnyNode(Term as_term,
Formula as_formula) |
BelieveNode(Term as_agent,
Formula as_formula) |
CountAsNode(Term as_institution,
Formula as_left_formula,
Formula as_right_formula) |
DoneNode(Term as_action,
Formula as_formula) |
EqualsNode(Term as_left_term,
Term as_right_term) |
FeasibleNode(Term as_action,
Formula as_formula) |
IdentifyingExpression(int capacity,
Term as_term,
Formula as_formula) |
InstitutionalFactNode(Term as_institution,
Formula as_fact) |
IntentionNode(Term as_agent,
Formula as_formula) |
IotaNode(Term as_term,
Formula as_formula) |
ListOfTerm(Term[] nodes) |
ModalLogicFormula(int capacity,
Term as_agent,
Formula as_formula) |
Parameter(int capacity,
Term as_value,
String lx_name,
Boolean lx_optional) |
ParameterNode(Term as_value) |
ParameterNode(Term as_value,
String lx_name,
Boolean lx_optional) |
PersistentGoalNode(Term as_agent,
Formula as_formula) |
ResultNode(Term as_term1,
Term as_term2) |
SequenceActionExpressionNode(Term as_left_action,
Term as_right_action) |
SomeNode(Term as_term,
Formula as_formula) |
UncertaintyNode(Term as_agent,
Formula as_formula) |
Modifier and Type | Method and Description |
---|---|
Term |
ActionExpressionNodeOperations.getActor(ActionExpression node) |
Term |
FunctionalTermParamNodeOperations.getParameter(FunctionalTermParamNode node,
String name) |
Term |
TermNodeOperations.getSimplifiedTerm(Term node) |
Term |
TermSequenceNodeOperations.getTerm(TermSequence node,
int i) |
Term |
TermSetNodeOperations.getTerm(TermSet node,
int i) |
Term |
TermNodeOperations.instantiate(Term node,
String varname,
Node expression) |
Term |
ContentNodeOperations.instantiate(Term node,
String varname,
Node expression) |
Modifier and Type | Method and Description |
---|---|
void |
TermSequenceNodeOperations.addTerm(TermSequence node,
Term term) |
void |
TermSetNodeOperations.addTerm(TermSet node,
Term term) |
Formula |
OrNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
NotNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
FormulaNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
ForallNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
ExistsNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
BelieveNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
AndNodeOperations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Term |
TermNodeOperations.getSimplifiedTerm(Term node) |
Term |
TermNodeOperations.instantiate(Term node,
String varname,
Node expression) |
Term |
ContentNodeOperations.instantiate(Term node,
String varname,
Node expression) |
Formula |
OrNodeOperations.isBeliefFrom(Formula node,
Term agent) |
Formula |
FormulaNodeOperations.isBeliefFrom(Formula node,
Term agent) |
Formula |
ForallNodeOperations.isBeliefFrom(Formula node,
Term agent) |
Formula |
BelieveNodeOperations.isBeliefFrom(Formula node,
Term agent) |
Formula |
AndNodeOperations.isBeliefFrom(Formula node,
Term agent) |
Formula |
OrNodeOperations.isExistsOn(Formula node,
Term variable) |
Formula |
FormulaNodeOperations.isExistsOn(Formula node,
Term variable) |
Formula |
ExistsNodeOperations.isExistsOn(Formula node,
Term variable) |
boolean |
OrNodeOperations.isInstitutionalFact(Formula node,
Term term) |
boolean |
NotNodeOperations.isInstitutionalFact(Formula node,
Term term) |
boolean |
InstitutionalFactNodeOperations.isInstitutionalFact(Formula node,
Term term) |
boolean |
FormulaNodeOperations.isInstitutionalFact(Formula node,
Term term) |
boolean |
ForallNodeOperations.isInstitutionalFact(Formula node,
Term term) |
boolean |
ExistsNodeOperations.isInstitutionalFact(Formula node,
Term term) |
boolean |
AndNodeOperations.isInstitutionalFact(Formula node,
Term term) |
Formula |
OrNodeOperations.isInstitutionalFactFrom(Formula node,
Term institution) |
Formula |
InstitutionalFactNodeOperations.isInstitutionalFactFrom(Formula node,
Term institution) |
Formula |
FormulaNodeOperations.isInstitutionalFactFrom(Formula node,
Term institution) |
Formula |
ForallNodeOperations.isInstitutionalFactFrom(Formula node,
Term agent) |
Formula |
AndNodeOperations.isInstitutionalFactFrom(Formula node,
Term institution) |
boolean |
UncertaintyNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
PersistentGoalNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
OrNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
NotNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
IntentionNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
FormulaNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
ForallNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
ExistsNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
BelieveNodeOperations.isMentalAttitude(Formula node,
Term term) |
boolean |
AndNodeOperations.isMentalAttitude(Formula node,
Term term) |
MatchResult |
TermNodeOperations.match(Term node,
Node expression) |
private AlternativeActionExpressionNode |
AlternativeActionExpressionNodeOperations.orderAlternativeLeaves(Term left,
Term right) |
void |
TermSequenceNodeOperations.removeTerm(TermSequence node,
Term term) |
void |
TermSetNodeOperations.removeTerm(TermSet node,
Term term) |
void |
FunctionalTermParamNodeOperations.setParameter(FunctionalTermParamNode node,
String name,
Term term) |
void |
TermNodeOperations.simplify(Term node) |
void |
SequenceActionExpressionNodeOperations.simplify(Term node) |
void |
IdentifyingExpressionNodeOperations.simplify(Term node) |
void |
FunctionalTermParamNodeOperations.simplify(Term node) |
void |
FunctionalTermNodeOperations.simplify(Term node) |
void |
ContentNodeOperations.simplify(Term node) |
void |
AlternativeActionExpressionNodeOperations.simplify(Term node) |
void |
ActionExpressionNodeOperations.simplify(Term node) |
Modifier and Type | Method and Description |
---|---|
Term |
SLParser.parseTerm(Reader stream) |
Term |
SLParser.parseTerm(Reader stream,
boolean extended) |
Term |
SLParser.parseTerm(String term) |
Term |
SLParser.parseTerm(String term,
boolean extended) |
Term |
SLParser.Term(ArrayList variables,
int quantifierIndex) |
Modifier and Type | Method and Description |
---|---|
static Term |
SL.fromTerm(String expression)
Deprecated.
use term instead
|
Term |
MatchResult.getTerm(String name)
Return the term assigned to the named meta variable.
|
static Term |
SL.term(String expression) |
Term |
MatchResult.term(String name)
Return the term assigned to the named meta variable.
|