Modifier and Type | Method and Description |
---|---|
boolean |
CActionDescriptionConsistencyTester.isConsistent(CActionDescription actionDescription)
Checks, whether the given action description in the action language C is
consistent.
|
Modifier and Type | Method and Description |
---|---|
CActionDescription |
CParser.parseBeliefBase(java.io.Reader reader) |
CActionDescription |
CLawParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<State> |
CTransitionSystemCalculator.calculateStates(CActionDescription actionDescription,
ActionSignature signature)
calculates the set of all states of the transition system described by an
action 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.
|
java.lang.String |
CTransitionSystemCalculator.getLpT(CActionDescription d,
ActionSignature signature,
int T)
Calculates an extended logic programm lp_T(D) for a given action
description D and a parameter T, which corresponds to the length of
histories in the transition system described by D.
|
Modifier and Type | Method and Description |
---|---|
CActionDescription |
CActionDescription.ground()
Calculates a new action description containing all ground instances of each
law in this action description.
|
CActionDescription |
CActionDescription.toDefinite()
Calculates a new action description which descibes the same transition
system and contains only definite causal laws.
|