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,
BeliefBase actionQuery)
Checks whether the given transition system satisfies the given action
queries.
|
boolean |
ActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
java.util.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 |
---|---|
private java.lang.String |
SActionQuerySatisfactionTester.getTransitionSystemRules(TransitionSystem transitionSystem)
Calculates a normal logic program which consists only of facts describing
the transition system given.
|
boolean |
SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
BeliefBase actionQueries) |
boolean |
SActionQuerySatisfactionTester.isSatisfied(TransitionSystem transitionSystem,
java.util.Set<ActionQuery> actionQueries) |