Uses of Class
org.tweetyproject.action.description.syntax.CActionDescription
Package
Description
-
Uses of CActionDescription in org.tweetyproject.action.description.analysis
Modifier and TypeMethodDescriptionboolean
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
Modifier and TypeMethodDescriptionCLawParser.parseBeliefBase(Reader reader)
CParser.parseBeliefBase(Reader reader)
-
Uses of CActionDescription in org.tweetyproject.action.description.reasoner
Modifier and TypeMethodDescriptionCTransitionSystemCalculator.calculateStates(CActionDescription actionDescription, ActionSignature signature)
Calculates the set of all states of the transition system described by an action description.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.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
Modifier and TypeMethodDescriptionCActionDescription.ground()
Calculates a new action description containing all ground instances of each law in this action description.CActionDescription.toDefinite()
Calculates a new action description which describes the same transition system and contains only definite causal laws.