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

Packages that use CActionDescription

Package	Description
net.sf.tweety.action.description
net.sf.tweety.action.description.parser

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

Methods in net.sf.tweety.action.description that return CActionDescription

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.

Methods in net.sf.tweety.action.description with parameters of type CActionDescription

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.
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 and Description
CActionDescription	CParser.parseBeliefBase(java.io.Reader reader)
CActionDescription	CLawParser.parseBeliefBase(java.io.Reader reader)