| Package | Description |
|---|---|
| net.sf.tweety.action | |
| net.sf.tweety.action.description | |
| net.sf.tweety.action.query |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
net.sf.tweety.commons.BeliefBase actionQuery)
Checks whether the given transition system satisfies the given action
queries.
|
boolean |
ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
Set<ActionQuery> actionQuery)
Checks whether the given transition system satisfies the given action
queries.
|
| Modifier and Type | Method and Description |
|---|---|
TransitionSystem |
CTransitionSystemCalculator.calculateTransitionSystem(CActionDescription actionDescription,
ActionSignature signature)
Calculates a transition system as described by the given action description
using all symbols in the given action signature.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
net.sf.tweety.commons.BeliefBase actionQueries) |
boolean |
SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
Set<ActionQuery> actionQueries) |
Copyright © 2018. All rights reserved.