Uses of Class
org.tweetyproject.action.description.syntax.CActionDescription

Packages that use CActionDescription

Package	Description
org.tweetyproject.action.description.analysis
org.tweetyproject.action.description.parser
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.description.syntax

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(Reader reader)
CActionDescription	CParser.parseBeliefBase(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
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.
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.