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 |
Provides all generic filters needed by the default
FilterKBase provided by the JSA framework. |
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.kbase.observers |
Provides the classes to handle the observer mechanism on the belief base of
JSA agents.
|
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 |
---|---|
Formula |
TransientAgent.assert_(String formula) |
Formula |
TransientAgent.assert_(String formula,
CasaKB cacheKB) |
Modifier and Type | Field and Description |
---|---|
protected ConcurrentSkipListSet<Formula> |
SubscribeServerConversation.formulas |
Modifier and Type | Method and Description |
---|---|
private Formula |
SubscribeServerConversation.subVarsForMetavars(Formula f) |
Modifier and Type | Method and Description |
---|---|
protected void |
SubscribeServerConversation.observeFormula(Formula formula,
FormulaFilter filter) |
boolean |
FormulaLispFilter.shouldNotify(Formula formula) |
abstract boolean |
FormulaFilter.shouldNotify(Formula formula) |
private Formula |
SubscribeServerConversation.subVarsForMetavars(Formula f) |
Modifier and Type | Field and Description |
---|---|
private Formula |
CASAkbFiltersDefinition.AGENT_BELIEVE_ALL_X_PATTERN |
private Formula |
CASAkbFiltersDefinition.AGENT_BELIEVE_ANY_X_PATTERN |
private Formula |
CASAkbFiltersDefinition.AGENT_BELIEVE_IOTA_X_PATTERN |
private Formula |
CASAkbFiltersDefinition.AGENT_BELIEVE_SOME_X_PATTERN |
private Formula |
CASAkbFiltersDefinition.AGENT_BELIEVE_X_PATTERN
Patterns used to manage the defined predicate
|
private Formula |
CASAkbFiltersDefinition.NOT_AGENT_BELIEVE_X_PATTERN |
(package private) Formula |
SingleNumValueDefinition.NOT_VALUE_GT_X_PATTERN |
private Formula |
SingleValueDefinition.NOT_VALUE_X_PATTERN |
(package private) Formula |
SingleNumValueDefinition.NOT_VALUE_X_PATTERN |
private Formula |
NotFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
IfFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
OntologyFilter.pattern0
Pattern that must match to apply the filter
|
private Formula |
OntologyFilter.pattern1 |
private Formula |
NotFilter.pattern1 |
private Formula |
IfFilter.pattern1 |
private Formula |
OntologyFilter.pattern2 |
private Formula |
OntologyFilter.pattern3 |
private Formula |
OntologyFilter.patternB0 |
private Formula |
OntologyFilter.patternB1 |
private Formula |
OntologyFilter.patternB2 |
private Formula |
OntologyFilter.patternB3 |
(package private) Formula |
SingleNumValueDefinition.VALUE_GT_X_PATTERN |
private Formula |
SingleValueDefinition.VALUE_X_PATTERN
Patterns used to manage the defined predicate
|
(package private) Formula |
SingleNumValueDefinition.VALUE_X_PATTERN
Patterns used to manage the defined predicat
|
Modifier and Type | Field and Description |
---|---|
(package private) Runnable1<Formula,Object> |
BeliefObserver.runnable |
Modifier and Type | Method and Description |
---|---|
protected Formula |
CasaQueryFilter.getFormula(MatchResult applyResult,
String var) |
Modifier and Type | Method and Description |
---|---|
void |
CasaKB.addClosedPredicate(Formula pattern) |
void |
CasaKB.agentAssert(String agentName,
Formula formula) |
QueryResult |
CasaKB.agentQuery(String agentName,
Formula formula) |
QueryResult |
OntologyFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn) |
QueryResult |
NotFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (not ??phi)) and
??agent equals the given agent, this method returns a
QueryResult holding
the MatchResults of ??phi, that is the MatchResults
that satisfy ??phi. |
QueryResult |
IfFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (not ??phi)) and
??agent equals the given agent, this method returns a
QueryResult holding
the MatchResults of ??phi, that is the MatchResults
that satisfy ??phi. |
void |
CasaKB.assertFormula(Formula formula) |
boolean |
OntologyFilter.getObserverTriggerPatterns(Formula formula,
Set set) |
boolean |
NotFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Adds in the set, the patterns for the formula phi and for the formula
psi.
|
boolean |
IfFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Adds in the set, the patterns for the formula phi and for the formula
psi.
|
void |
CasaKB.getObserverTriggerPatterns(Formula formula,
Set result) |
boolean |
CasaKB.isClosed(Formula pattern,
QueryResult values) |
private static QueryResult |
NotFilter.notPhi(Formula phi,
KBase phiKB,
ArrayList falsityReasons) |
QueryResult |
CasaKB.query(Formula formula) |
QueryResult |
CasaKB.query(Formula formula,
ArrayList reasons) |
void |
CasaKB.retractFormula(Formula formula) |
boolean |
BeliefObserver.update(Formula formula)
Called whenever the formula changes.
|
void |
CasaKB.updateObservers(Formula formula) |
Constructor and Description |
---|
BeliefObserver(CasaKB kbase,
Formula formula,
FormulaFilter filter,
Runnable1<Formula,Object> runnable)
Constructs and new BeliefObserver to monitor the knowledge base for changes
to one or more formulas and execute runnable when its value changes,
subject to filter.
|
Constructor and Description |
---|
BeliefObserver(CasaKB kbase,
Formula formula,
FormulaFilter filter,
Runnable1<Formula,Object> runnable)
Constructs and new BeliefObserver to monitor the knowledge base for changes
to one or more formulas and execute runnable when its value changes,
subject to filter.
|
Modifier and Type | Method and Description |
---|---|
Formula |
SemanticAction.getFeasibilityPrecondition()
Returns the feasibility precondition.
|
Formula |
SemanticAction.getPersistentFeasibilityPrecondition()
Returns the persitentFeasibilityPrecondition.
|
Formula |
SemanticAction.getPostCondition()
Returns the postcondition of the action.
|
Formula |
SemanticAction.getRationalEffect()
Returns the rational effect of the action
|
Modifier and Type | Method and Description |
---|---|
SemanticAction |
SemanticAction.newAction(Formula rationalEffect,
ACLMessage inReplyTo)
Creates a new instance of this prototype of semantic action from
the specified rational effect.
|
SemanticAction |
CommunicativeAction.newAction(Formula rationalEffect,
ACLMessage inReplyTo)
Creates a new instance of this prototype of semantic action from
the specified rational effect.
|
Modifier and Type | Method and Description |
---|---|
Formula |
SemanticRepresentation.getSLRepresentation() |
Constructor and Description |
---|
SemanticRepresentation(Formula subscribedEvent) |
Modifier and Type | Field and Description |
---|---|
private Formula |
ArrayListKBaseImpl.belNotOPattern |
private Formula |
ArrayListKBaseImpl.belOPattern |
private Formula |
ArrayListKBaseImpl.bPattern |
private Formula |
ArrayListKBaseImpl.iPattern |
private Formula |
ArrayListKBaseImpl.ireFormula |
private Formula |
ArrayListKBaseImpl.notBelOPattern |
private Formula |
ArrayListKBaseImpl.notBPattern |
private Formula |
ArrayListKBaseImpl.notIPattern |
private Formula |
ArrayListKBaseImpl.notUPattern |
private Formula |
ArrayListKBaseImpl.notURefPattern |
private Formula |
ArrayListKBaseImpl.uPattern
Patterns for assertion and query methods
|
private Formula |
ArrayListKBaseImpl.URefPattern |
Modifier and Type | Method and Description |
---|---|
protected void |
ArrayListKBaseImpl.DataStorage.add(Formula phi)
Add the formula phi to the DataStorage if not already in
|
void |
KBaseDecorator.addClosedPredicate(Formula pattern) |
void |
KBase.addClosedPredicate(Formula pattern)
Define a new pattern of closed formula.
|
void |
ArrayListKBaseImpl.addClosedPredicate(Formula pattern) |
void |
KBaseDecorator.assertFormula(Formula formula) |
void |
KBase.assertFormula(Formula formula)
Assert a fact (given as a FIPA-SL formula) believed by the owning agent
into this belief base.
|
void |
ArrayListKBaseImpl.assertFormula(Formula formula)
Tries to assert the formula.
|
protected boolean |
ArrayListKBaseImpl.DataStorage.contains(Formula phi)
Return true is the DataStorage contains phi
|
private ArrayList |
ArrayListKBaseImpl.DataStorage.getFacts(Formula phi) |
private int |
ArrayListKBaseImpl.DataStorage.hashCode(Formula phi) |
boolean |
KBaseDecorator.isClosed(Formula pattern,
QueryResult values) |
boolean |
KBase.isClosed(Formula pattern,
QueryResult values)
Return
true if a given pattern of formula is closed on a
given domain of values, and false otherwise. |
boolean |
ArrayListKBaseImpl.isClosed(Formula pattern,
QueryResult b) |
QueryResult |
KBaseDecorator.query(Formula formula) |
QueryResult |
KBase.query(Formula formula)
Check wether a given fact is believed by the agent owning this
KBase
instance. |
QueryResult |
ArrayListKBaseImpl.query(Formula formula) |
private QueryResult |
ArrayListKBaseImpl.DataStorage.query(Formula pattern)
Tries to match the formula on each data stored in the base.
|
QueryResult |
KBaseDecorator.query(Formula formula,
ArrayList reasons) |
QueryResult |
KBase.query(Formula formula,
ArrayList reasons) |
QueryResult |
ArrayListKBaseImpl.query(Formula formula,
ArrayList reasons)
Queries directly the belief base.
|
protected void |
ArrayListKBaseImpl.DataStorage.remove(Formula phi)
Remove phi from the DataStorage
|
private void |
ArrayListKBaseImpl.DataStorage.removeAll(Formula pattern)
Removes all the formulae that match the specified pattern.
|
boolean |
ArrayListKBaseImpl.removeFormula(Formula formula)
Removes the specified formula from the base.
|
void |
KBaseDecorator.retractFormula(Formula formula) |
void |
KBase.retractFormula(Formula formula)
Retract a fact from the belief base.
|
void |
ArrayListKBaseImpl.retractFormula(Formula formula)
It retracts the formula given in parameter from the belief base by
asserting (not (B ??myself ??formula)).
|
void |
KBaseDecorator.updateObservers(Formula formula) |
void |
KBase.updateObservers(Formula formula)
Update the status of all observers concerned by a given formula.
|
void |
ArrayListKBaseImpl.updateObservers(Formula formula) |
Modifier and Type | Field and Description |
---|---|
private Formula |
FilterKBaseImpl.bPattern |
protected Formula |
FilterKBaseImpl.Cache.CacheElement.formula |
protected Formula |
KBQueryFilterAdapter.pattern
Pattern that must match to apply the filter adapter
|
protected Formula |
KBAssertFilterAdapter.pattern
Pattern that must match to apply the filter adapter
|
Modifier and Type | Method and Description |
---|---|
Formula |
KBAssertFilterAdapter.apply(Formula formula)
Returns true if the pattern of the adapter matches the formula,
false if not.
|
Formula |
KBAssertFilter.apply(Formula formula)
Applies the filter before asserting the formula into the KBase.
|
Formula |
KBAssertFilter.beforeAssert(Formula formula)
Deprecated.
|
Formula |
KBAssertFilterAdapter.doApply(Formula formula,
MatchResult match)
Returns the given formula.
|
Modifier and Type | Method and Description |
---|---|
protected void |
FilterKBaseImpl.Cache.add(Formula formula,
QueryResult result,
ArrayList reasons) |
void |
KBAssertFilter.afterAssert(Formula formula)
Deprecated.
|
Formula |
KBAssertFilterAdapter.apply(Formula formula)
Returns true if the pattern of the adapter matches the formula,
false if not.
|
Formula |
KBAssertFilter.apply(Formula formula)
Applies the filter before asserting the formula into the KBase.
|
QueryResult |
KBQueryFilterAdapter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
TO BE REWRITTEN TO BE REWRITTEN TO BE REWRITTEN
By default, this method returns false as first element in the array,
meaning the filter is not applicable, and null as second element.
|
abstract QueryResult |
KBQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
Returns a
QueryResult object, similar to the one returned by the query
operation of the KBase interface. |
void |
FilterKBaseImpl.assertFormula(Formula formula)
METHODS TO ACCESS KBASE *
|
Formula |
KBAssertFilter.beforeAssert(Formula formula)
Deprecated.
|
MatchResult |
KBQueryFilterAdapter.doApply(Formula formula,
MatchResult match)
Performs the filter on the formula
formula . |
Formula |
KBAssertFilterAdapter.doApply(Formula formula,
MatchResult match)
Returns the given formula.
|
boolean |
KBQueryFilterAdapter.getObserverTriggerPatterns(Formula formula,
Set set)
By default, this method does nothing.
|
abstract boolean |
KBQueryFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Fills the set given in parameter with the patterns manipulated by this
filter and likely to trigger the observers which observe the formula given
in parameter.
|
void |
FilterKBaseImpl.getObserverTriggerPatterns(Formula formula,
Set result) |
void |
FilterKBase.getObserverTriggerPatterns(Formula formula,
Set result)
Calls the getObserverTriggerPatterns method of each query filters.
|
protected FilterKBaseImpl.Cache.CacheElement |
FilterKBaseImpl.Cache.query(Formula formula) |
QueryResult |
FilterKBaseImpl.query(Formula formula,
ArrayList reasons) |
Constructor and Description |
---|
CacheElement(Formula formula,
QueryResult result,
ArrayList reasons) |
KBAssertFilterAdapter(Formula formula)
Creates a new filter.
|
KBQueryFilterAdapter(Formula formula)
Creates a new Filter
|
Modifier and Type | Field and Description |
---|---|
(package private) Formula |
CFPFilters.b_MYSELF_propose_AGENT_ACT_CONDITION |
(package private) Formula |
HornClauseFilter.HornClauseQueryFilter.body |
private Formula |
NestedBeliefFilters.bPattern |
(package private) Formula |
HornClauseFilter.HornClauseQueryFilter.head |
(package private) Formula |
CFPFilters.not_b_MYSELF_propose_AGENT_ACT_CONDITION |
private Formula |
NestedBeliefFilters.notBPattern |
(package private) Formula |
BuiltInPredicateFilters.PREDICATE_V1 |
(package private) Formula |
BuiltInPredicateFilters.PREDICATE_V1_V2 |
(package private) Formula |
BuiltInPredicateFilters.PREDICATE_V1_V2_V3 |
(package private) Formula |
CFPFilters.proposalVectorPattern |
Modifier and Type | Method and Description |
---|---|
Formula |
HornClauseFilter.apply(Formula formula)
The
HornClauseFilter.apply(Formula) method applies on asserted Horn clauses. |
Modifier and Type | Method and Description |
---|---|
Formula |
HornClauseFilter.apply(Formula formula)
The
HornClauseFilter.apply(Formula) method applies on asserted Horn clauses. |
QueryResult |
HornClauseFilter.HornClauseQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn) |
boolean |
HornClauseFilter.HornClauseQueryFilter.getObserverTriggerPatterns(Formula formula,
Set set) |
private boolean |
NestedBeliefFilters.isPositiveMentalAttitude(Formula formula,
Term term) |
Constructor and Description |
---|
HornClauseQueryFilter(Term agentName,
Formula head,
Formula body) |
Modifier and Type | Field and Description |
---|---|
protected Formula |
AllIREFilter.closedPattern |
protected Formula |
AllIREFilter.formulaPattern |
protected Formula |
AllIREFilter.generalNotPattern |
protected Formula |
AllIREFilter.generalPattern
Pattern that must match to apply the filter
|
protected Formula |
IsdoingAssertFilter.pattern |
protected Formula |
ForallFilter.pattern |
protected Formula |
AndFilter.pattern |
protected Formula |
ForallFilter.pattern2 |
Modifier and Type | Method and Description |
---|---|
Formula |
IsdoingAssertFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base the
weaker version, and returns a
TrueNode . |
Formula |
ForallFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
Formula |
AndFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
Formula |
AllIREFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
private Formula |
AllIREFilter.generalNotPatternProcess(Formula formula,
MatchResult applyResult) |
private Formula |
AllIREFilter.generalPatternProcess(MatchResult applyResult) |
Modifier and Type | Method and Description |
---|---|
Formula |
IsdoingAssertFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base the
weaker version, and returns a
TrueNode . |
Formula |
ForallFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
Formula |
AndFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
Formula |
AllIREFilter.apply(Formula formula)
If the filter is applicable, asserts in the belief base each element
which appears in the set, and returns a
TrueNode . |
private Formula |
AllIREFilter.generalNotPatternProcess(Formula formula,
MatchResult applyResult) |
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 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 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.doRetractV1V2V3Values(KBase kb) |
protected Formula |
BinaryPredicate.doRetractV1V2Values(KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V2Values(Term i3,
KBase kb) |
protected Formula |
TernaryPredicate.doRetractV1V3Values(Term i2,
KBase kb) |
protected Formula |
UnaryPredicate.doRetractV1Values(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) |
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 | Field and Description |
---|---|
private Formula |
IREFilter.formulaPattern |
private Formula |
IREFilter.notPattern
Pattern that must match to apply the filter
|
private Formula |
OrFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
IsdoingQueryFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
IREFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
ExistsFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
AndFilter.pattern
Pattern that must match to apply the filter
|
private Formula |
ForallFilter.pattern1
Pattern that must match to apply the filter
|
private Formula |
OrFilter.pattern2 |
private Formula |
ForallFilter.pattern2 |
private Formula |
ExistsFilter.pattern2 |
Modifier and Type | Method and Description |
---|---|
private static QueryResult |
AndFilter.andPhiPsi(Formula phi,
KBase phiKB,
Formula psi,
KBase psiKB,
ArrayList falsityReasons) |
QueryResult |
OrFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (or ??phi ??psi)) and
??agent equals the given agent term, this method returns the union
of the whole of solutions of the first part of the formula and
the whole of solutions of the second part of the formula.
|
QueryResult |
IsdoingQueryFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern
this method returns the result of the query of
(not (B myself (is_doing myself plan))) instead
|
QueryResult |
IREFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If if the formula matches the pattern (B ??agent (= ??ire ??term))
or (B ??agent (not (= ??ire ??term)) and ??agent equals the given agent term,
this method returns a
QueryResult corresponding to the solution
to the question. |
QueryResult |
ForallFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (forall ??var ??phi))
and ??agent equals the given agent and ??phi is a mental attitude of this
agent, the method returns
QueryResult.KNOWN if the answer to the
query on the opposite of incoming formula (not (phi)) is null and
(not (phi)) is a closed formula. |
QueryResult |
ExistsFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (exists ??var ??phi))
and ??agent equals the given agent term, this method returns a
QueryResult that corresponds to the answer to the query on
the incoming formula. |
QueryResult |
AndFilter.apply(Formula formula,
ArrayList falsityReasons,
QueryResult.BoolWrapper goOn)
If the formula matches the pattern (B ??agent (and ??phi ??psi)) and
??agent equals the given agent, this method returns a
QueryResult holding
the joined MatchResults of ??phi and ??psi, that is the MatchResults
that satisfy ??phi as well as ??psi. |
boolean |
OrFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Adds in the set, the patterns for the formula phi and for the formula
psi.
|
boolean |
IsdoingQueryFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Adds nothing in the set, returns false.
|
boolean |
IREFilter.getObserverTriggerPatterns(Formula formula,
Set set)
By default, this method does nothing.
|
boolean |
ForallFilter.getObserverTriggerPatterns(Formula formula,
Set set)
By default, this method does nothing.
|
boolean |
ExistsFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Adds the formula corresponding to phi (see the patterns) where the variable
is transform into a MetaVariable.
|
boolean |
AndFilter.getObserverTriggerPatterns(Formula formula,
Set set)
Adds in the set, the patterns for the formula phi and for the formula
psi.
|
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 | Method and Description |
---|---|
Formula |
ObserverAdapter.getObservedFormula() |
Formula[] |
Observer.getObservedFormulas()
This method returns all observed formulas
|
Formula |
EventCreationObserver.getSubscribedEvent()
Returns the subscribedEvent.
|
Modifier and Type | Method and Description |
---|---|
void |
Observer.addFormula(Formula formula)
Add a formula to observe.
|
boolean |
ObserverAdapter.update(Formula formula) |
boolean |
Observer.update(Formula formula)
This method is called to update the observer according to
the change that has just occurred on the given formula.
|
Constructor and Description |
---|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Date wakeUpDate)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Long timeout)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
Date wakeUpDate)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
Formula subscribedEvent,
SemanticInterpreterBehaviour interpreter,
Long timeout)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
SemanticRepresentation subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot)
Creates a new Observer
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
SemanticRepresentation subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Date wakeUpDate)
Creates a new Observer with a timeout
|
EventCreationObserver(KBase kbase,
Formula observedFormula,
SemanticRepresentation subscribedEvent,
SemanticInterpreterBehaviour interpreter,
boolean isOneShot,
Long timeout)
Creates a new Observer with a timeout
|
Observer(KBase kbase,
Formula formula)
Build an Observer for the KBase given as an argument.
|
Observer(KBase kbase,
Formula formula,
Date wakeupDate)
Builds an Observer for the kbase given as an argument.
|
Observer(KBase kbase,
Formula formula,
long timeOut)
Builds an Observer for the kbase given as an argument.
|
ObserverAdapter(KBase kbase,
Formula formula)
Creates a new Observer
|
ObserverAdapter(KBase kbase,
Formula formula,
Date wakeupdate)
Creates a new Observer
|
ObserverAdapter(KBase kbase,
Formula formula,
long timeout)
Creates a new Observer with timeout
|
WaitingObserver(KBase kbase,
Formula observedFormula,
PrimitiveActionBehaviour pausedBehaviour,
Agent agent)
Creates a new WaitingObserverAdapter
|
WaitingObserver(KBase kbase,
Formula observedFormula,
PrimitiveActionBehaviour pausedBehaviour,
Agent agent,
Date wakeUp)
Creates a new WaitingObserverAdapter
|
WaitingObserver(KBase kbase,
Formula observedFormula,
PrimitiveActionBehaviour pausedBehaviour,
Agent agent,
long delay)
Creates a new WaitingObserverAdapter
|
Modifier and Type | Class and Description |
---|---|
class |
ActionFormula |
class |
AndNode |
class |
AtomicFormula |
class |
BelieveNode |
class |
BinaryLogicalFormula |
class |
CountAsNode |
class |
DoneNode |
class |
EqualsNode |
class |
EquivNode |
class |
ExistsNode |
class |
FalseNode |
class |
FeasibleNode |
class |
ForallNode |
class |
ImpliesNode |
class |
InstitutionalFactNode |
class |
InstitutionalLogicFormula |
class |
IntentionNode |
class |
MetaFormulaReferenceNode |
class |
ModalLogicFormula |
class |
NotNode |
class |
ObligationNode |
class |
OrNode |
class |
PersistentGoalNode |
class |
PredicateNode |
class |
PropositionSymbolNode |
class |
QuantifiedFormula |
class |
ResultNode |
class |
TrueNode |
class |
UnaryLogicalFormula |
class |
UncertaintyNode |
Modifier and Type | Field and Description |
---|---|
(package private) Formula |
Formula._sm_simplified_formula |
(package private) Formula |
MetaFormulaReferenceNode._sm_value |
Modifier and Type | Method and Description |
---|---|
Formula |
InstitutionalFactNode.as_fact() |
Formula |
UnaryLogicalFormula.as_formula() |
Formula |
QuantifiedFormula.as_formula() |
Formula |
ObligationNode.as_formula() |
Formula |
ModalLogicFormula.as_formula() |
Formula |
IdentifyingExpression.as_formula() |
Formula |
FormulaContentExpressionNode.as_formula() |
Formula |
Fact.as_formula() |
Formula |
ActionFormula.as_formula() |
Formula |
CountAsNode.as_left_formula() |
Formula |
BinaryLogicalFormula.as_left_formula() |
Formula |
CountAsNode.as_right_formula() |
Formula |
BinaryLogicalFormula.as_right_formula() |
Formula |
ListOfFormula.element(int i) |
Formula |
ListOfFormula.first() |
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) |
Formula |
Formula.getSimplifiedFormula() |
Formula |
Formula.Operations.getSimplifiedFormula(Formula node) |
Formula |
Formula.Operations.getVariablesSubstitution(Formula node,
ListOfVariable vars) |
Formula |
Formula.Operations.getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
Formula |
Formula.getVariablesSubstitution(ListOfVariable vars) |
Formula |
Formula.getVariablesSubstitution(Variable x,
Variable y) |
Formula |
Formula.getVariablesSubstitutionAsIn(Formula formula) |
Formula |
Formula.Operations.getVariablesSubstitutionAsIn(Formula node,
Formula formula) |
Formula |
Formula.Operations.instantiate(Formula node,
String varname,
Node expression) |
Formula |
Formula.instantiate(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) |
Formula |
Formula.Operations.isInstitutionalFactFrom(Formula node,
Term institution) |
Formula |
Formula.isInstitutionalFactFrom(Term institution) |
Formula |
ListOfFormula.last() |
Formula |
Formula.sm_simplified_formula() |
Formula |
MetaFormulaReferenceNode.sm_value() |
Modifier and Type | Method and Description |
---|---|
void |
ListOfFormula.append(Formula e) |
void |
InstitutionalFactNode.as_fact(Formula s) |
void |
UnaryLogicalFormula.as_formula(Formula s) |
void |
QuantifiedFormula.as_formula(Formula s) |
void |
ObligationNode.as_formula(Formula s) |
void |
ModalLogicFormula.as_formula(Formula s) |
void |
IdentifyingExpression.as_formula(Formula s) |
void |
FormulaContentExpressionNode.as_formula(Formula s) |
void |
Fact.as_formula(Formula s) |
void |
ActionFormula.as_formula(Formula s) |
void |
CountAsNode.as_left_formula(Formula s) |
void |
BinaryLogicalFormula.as_left_formula(Formula s) |
void |
CountAsNode.as_right_formula(Formula s) |
void |
BinaryLogicalFormula.as_right_formula(Formula s) |
Formula |
Formula.Operations.getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
Formula.Operations.getSimplifiedFormula(Formula node) |
Formula |
Formula.Operations.getVariablesSubstitution(Formula node,
ListOfVariable vars) |
Formula |
Formula.Operations.getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
Formula |
Formula.getVariablesSubstitutionAsIn(Formula formula) |
Formula |
Formula.Operations.getVariablesSubstitutionAsIn(Formula node,
Formula formula) |
Formula |
Formula.Operations.instantiate(Formula node,
String varname,
Node expression) |
boolean |
Formula.Operations.isAFreeVariable(Formula node,
Variable x) |
Formula |
Formula.Operations.isBeliefFrom(Formula node,
Term agent) |
boolean |
Formula.isConsistentWith(Formula formula) |
boolean |
Formula.Operations.isConsistentWith(Formula node,
Formula formula) |
Formula |
Formula.Operations.isExistsOn(Formula node,
Term variable) |
boolean |
Formula.Operations.isInstitutionalFact(Formula node,
Term term) |
Formula |
Formula.Operations.isInstitutionalFactFrom(Formula node,
Term institution) |
boolean |
Formula.Operations.isMentalAttitude(Formula node,
Term term) |
boolean |
Formula.isSubsumedBy(Formula formula) |
boolean |
Formula.Operations.isSubsumedBy(Formula node,
Formula formula) |
MatchResult |
Formula.Operations.match(Formula node,
Node expression) |
void |
ListOfFormula.prepend(Formula e) |
void |
Formula.Operations.simplify(Formula node) |
void |
Formula.sm_simplified_formula(Formula o) |
void |
MetaFormulaReferenceNode.sm_value(Formula o) |
Constructor and Description |
---|
ActionFormula(int capacity,
Term as_action,
Formula as_formula) |
AllNode(Term as_term,
Formula as_formula) |
AndNode(Formula as_left_formula,
Formula as_right_formula) |
AnyNode(Term as_term,
Formula as_formula) |
BelieveNode(Term as_agent,
Formula as_formula) |
BinaryLogicalFormula(int capacity,
Formula as_left_formula,
Formula as_right_formula) |
CountAsNode(Term as_institution,
Formula as_left_formula,
Formula as_right_formula) |
DoneNode(Term as_action,
Formula as_formula) |
EquivNode(Formula as_left_formula,
Formula as_right_formula) |
ExistsNode(Variable as_variable,
Formula as_formula) |
Fact(int capacity,
Formula as_formula) |
FactNode(Formula as_formula) |
FeasibleNode(Term as_action,
Formula as_formula) |
ForallNode(Variable as_variable,
Formula as_formula) |
FormulaContentExpressionNode(Formula as_formula) |
IdentifyingExpression(int capacity,
Term as_term,
Formula as_formula) |
ImpliesNode(Formula as_left_formula,
Formula as_right_formula) |
InstitutionalFactNode(Term as_institution,
Formula as_fact) |
IntentionNode(Term as_agent,
Formula as_formula) |
IotaNode(Term as_term,
Formula as_formula) |
ListOfFormula(Formula[] nodes) |
ModalLogicFormula(int capacity,
Term as_agent,
Formula as_formula) |
NotNode(Formula as_formula) |
ObligationNode(Formula as_formula) |
OrNode(Formula as_left_formula,
Formula as_right_formula) |
PersistentGoalNode(Term as_agent,
Formula as_formula) |
QuantifiedFormula(int capacity,
Variable as_variable,
Formula as_formula) |
SomeNode(Term as_term,
Formula as_formula) |
UnaryLogicalFormula(int capacity,
Formula as_formula) |
UncertaintyNode(Term as_agent,
Formula as_formula) |
Modifier and Type | Method and Description |
---|---|
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) |
Formula |
FormulaNodeOperations.getSimplifiedFormula(Formula node) |
Formula |
FormulaNodeOperations.getVariablesSubstitution(Formula node,
ListOfVariable vars) |
Formula |
FormulaNodeOperations.getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
Formula |
FormulaNodeOperations.getVariablesSubstitutionAsIn(Formula node,
Formula formula) |
Formula |
FormulaNodeOperations.instantiate(Formula 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) |
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) |
Modifier and Type | Method and Description |
---|---|
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) |
Formula |
FormulaNodeOperations.getSimplifiedFormula(Formula node) |
Formula |
FormulaNodeOperations.getVariablesSubstitution(Formula node,
ListOfVariable vars) |
Formula |
FormulaNodeOperations.getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
Formula |
FormulaNodeOperations.getVariablesSubstitutionAsIn(Formula node,
Formula formula) |
Formula |
FormulaNodeOperations.instantiate(Formula node,
String varname,
Node expression) |
boolean |
FormulaNodeOperations.isAFreeVariable(Formula node,
Variable x) |
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) |
boolean |
FormulaNodeOperations.isConsistentWith(Formula node,
Formula formula) |
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) |
boolean |
TrueNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
OrNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
ObligationNodeOperation.isSubsumedBy(Formula node,
Formula formula) |
boolean |
NotNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
FormulaNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
ForallNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
FeasibleNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
ExistsNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
DoneNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
BelieveNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
boolean |
AndNodeOperations.isSubsumedBy(Formula node,
Formula formula) |
MatchResult |
FormulaNodeOperations.match(Formula node,
Node expression) |
private AndNode |
AndNodeOperations.orderAndLeaves(Formula left,
Formula right) |
private OrNode |
OrNodeOperations.orderOrLeaves(Formula left,
Formula right) |
void |
UncertaintyNodeOperations.simplify(Formula node) |
void |
PredicateNodeOperations.simplify(Formula node) |
void |
PersistentGoalNodeOperations.simplify(Formula node) |
void |
OrNodeOperations.simplify(Formula node) |
void |
ObligationNodeOperation.simplify(Formula node) |
void |
NotNodeOperations.simplify(Formula node) |
void |
IntentionNodeOperations.simplify(Formula node) |
void |
InstitutionalFactNodeOperations.simplify(Formula node) |
void |
ImpliesNodeOperations.simplify(Formula node) |
void |
FormulaNodeOperations.simplify(Formula node) |
void |
ForallNodeOperations.simplify(Formula node) |
void |
FeasibleNodeOperations.simplify(Formula node) |
void |
ExistsNodeOperations.simplify(Formula node) |
void |
EquivNodeOperations.simplify(Formula node) |
void |
EqualsNodeOperations.simplify(Formula node) |
void |
DoneNodeOperations.simplify(Formula node) |
void |
CountAsNodeOperations.simplify(Formula node) |
void |
BelieveNodeOperations.simplify(Formula node) |
void |
AndNodeOperations.simplify(Formula node) |
Modifier and Type | Method and Description |
---|---|
Formula |
SLParser.Formula(ArrayList variables) |
Formula |
SLParser.parseFormula(Reader stream) |
Formula |
SLParser.parseFormula(Reader stream,
boolean extended) |
Formula |
SLParser.parseFormula(String formula) |
Formula |
SLParser.parseFormula(String formula,
boolean extended) |
Modifier and Type | Method and Description |
---|---|
static Formula |
SL.and(ListOfFormula literals)
Builds the conjunction of a list of formulas.
|
private Formula |
SLMatcher.buildAndNode(ListOfNodes l)
Tries to return a AndNode built with the Formulae of the given list.
|
private Formula |
SLMatcher.buildOrNode(ListOfNodes l)
Tries to return a OrNode built with the Formulae of the given list.
|
private Formula |
SLMatcher.createEndAndNode(ListOfNodes l)
Creates an And Formula with the nodes of the list.
|
private Formula |
SLMatcher.createEndOrNode(ListOfNodes l)
Creates an Or Formula with the nodes of the list.
|
static Formula |
SL.formula(String expression) |
Formula |
MatchResult.formula(String name)
Return the formula assigned to the named meta variable
|
static Formula |
SL.fromFormula(String expression)
Deprecated.
use formula instead
|
Formula |
MatchResult.getFormula(String name)
Return the formula assigned to the named meta variable
|
static Formula |
SL.or(ListOfFormula literals)
Builds the disjunction of a list of formulas.
|
private Formula |
SLMatcher.sort(Formula node)
If the given formula is a OrNode or a AndNode, this method returns sorts
the formula and returns the sorted formula.
|
Modifier and Type | Method and Description |
---|---|
private Formula |
SLMatcher.sort(Formula node)
If the given formula is a OrNode or a AndNode, this method returns sorts
the formula and returns the sorted formula.
|