Uses of Class
net.sf.tweety.action.description.syntax.CActionDescription
-
-
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.
-