Uses of Class
org.tweetyproject.action.signature.ActionSignature
-
-
-
Uses of ActionSignature in org.tweetyproject.action.description.parser
Methods in org.tweetyproject.action.description.parser that return ActionSignature Modifier and Type Method Description ActionSignature
CParser. getSignature()
Methods in org.tweetyproject.action.description.parser with parameters of type ActionSignature Modifier and Type Method Description void
CParser. setSignature(ActionSignature signature)
Constructors in org.tweetyproject.action.description.parser with parameters of type ActionSignature Constructor Description CLawParser(ActionSignature signature)
This parser needs a valid action signature to parse causal laws. -
Uses of ActionSignature in org.tweetyproject.action.description.reasoner
Methods in org.tweetyproject.action.description.reasoner with parameters of type ActionSignature 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. 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 ActionSignature in org.tweetyproject.action.query.parser
Constructors in org.tweetyproject.action.query.parser with parameters of type ActionSignature Constructor Description ActionQueryParser(ActionSignature signature)
-
Uses of ActionSignature in org.tweetyproject.action.query.syntax
Methods in org.tweetyproject.action.query.syntax that return ActionSignature Modifier and Type Method Description ActionSignature
NecessarilyQuery. getActionSignature()
ActionSignature
QueryProposition. getActionSignature()
Returns a new action signature containing all symbols of the inner formula of this proposition.ActionSignature
SActionQuery. getActionSignature()
-
Uses of ActionSignature in org.tweetyproject.action.signature.parser
Methods in org.tweetyproject.action.signature.parser that return ActionSignature Modifier and Type Method Description ActionSignature
ActionSignatureParser. parseSignature(java.io.Reader reader)
Parses the given reader into a signature of the given type.ActionSignature
ActionSignatureParser. parseSignature(java.lang.String text)
Parses the given text into a signature of the given type.ActionSignature
ActionSignatureParser. parseSignatureFromFile(java.lang.String filename)
Parses the file of the given filename into a signature. -
Uses of ActionSignature in org.tweetyproject.action.transitionsystem
Methods in org.tweetyproject.action.transitionsystem that return ActionSignature Modifier and Type Method Description ActionSignature
TransitionSystem. getSignature()
Constructors in org.tweetyproject.action.transitionsystem with parameters of type ActionSignature Constructor Description TransitionSystem(java.util.Set<State> states, java.util.Set<Transition> transitions, ActionSignature signature)
Creates a new transition system.TransitionSystem(java.util.Set<State> states, ActionSignature signature)
Creates a new transition system.TransitionSystem(ActionSignature signature)
Creates a new empty transition system with the given ActionSignature.
-