Uses of Class
net.sf.tweety.action.description.syntax.CActionDescription

Packages that use CActionDescription

Package	Description
net.sf.tweety.action.description.analysis
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.reasoner
net.sf.tweety.action.description.syntax

Uses of CActionDescription in net.sf.tweety.action.description.analysis

Methods in net.sf.tweety.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 net.sf.tweety.action.description.parser

Methods in net.sf.tweety.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 net.sf.tweety.action.description.reasoner

Methods in net.sf.tweety.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.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.

Uses of CActionDescription in net.sf.tweety.action.description.syntax

Methods in net.sf.tweety.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 descibes the same transition system and contains only definite causal laws.