Uses of Class
org.tweetyproject.action.description.syntax.CActionDescription
-
-
Uses of CActionDescription in org.tweetyproject.action.description.analysis
Methods in org.tweetyproject.action.description.analysis with parameters of type CActionDescription Modifier and Type Method Description boolean
CActionDescriptionConsistencyTester. isConsistent(CActionDescription actionDescription)
Checks whether the given action description in the action language C is consistent. -
Uses of CActionDescription in org.tweetyproject.action.description.parser
Methods in org.tweetyproject.action.description.parser that return CActionDescription Modifier and Type Method Description CActionDescription
CLawParser. parseBeliefBase(java.io.Reader reader)
CActionDescription
CParser. parseBeliefBase(java.io.Reader reader)
-
Uses of CActionDescription in org.tweetyproject.action.description.reasoner
Methods in org.tweetyproject.action.description.reasoner with parameters of type CActionDescription Modifier and Type Method 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. convertToLogicProgram(CActionDescription d, ActionSignature signature, int T)
Calculates an extended logic program 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. -
Uses of CActionDescription in org.tweetyproject.action.description.syntax
Methods in org.tweetyproject.action.description.syntax that return CActionDescription Modifier and Type Method 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 describes the same transition system and contains only definite causal laws.
-