Uses of Class
org.tweetyproject.action.signature.ActionSignature
Package
Description
-
Uses of ActionSignature in org.tweetyproject.action.description.parser
ModifierConstructorDescriptionCLawParser(ActionSignature signature)
This parser needs a valid action signature to parse causal laws. -
Uses of ActionSignature in org.tweetyproject.action.description.reasoner
Modifier and TypeMethodDescriptionCTransitionSystemCalculator.calculateStates(CActionDescription actionDescription, ActionSignature signature)
Calculates the set of all states of the transition system described by an action description.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.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
-
Uses of ActionSignature in org.tweetyproject.action.query.syntax
Modifier and TypeMethodDescriptionNecessarilyQuery.getActionSignature()
QueryProposition.getActionSignature()
Returns a new action signature containing all symbols of the inner formula of this proposition.SActionQuery.getActionSignature()
-
Uses of ActionSignature in org.tweetyproject.action.signature.parser
Modifier and TypeMethodDescriptionActionSignatureParser.parseSignature(Reader reader)
Parses the given reader into a signature of the given type.ActionSignatureParser.parseSignature(String text)
Parses the given text into a signature of the given type.ActionSignatureParser.parseSignatureFromFile(String filename)
Parses the file of the given filename into a signature. -
Uses of ActionSignature in org.tweetyproject.action.transitionsystem
ModifierConstructorDescriptionTransitionSystem(Set<State> states, Set<Transition> transitions, ActionSignature signature)
Creates a new transition system.TransitionSystem(Set<State> states, ActionSignature signature)
Creates a new transition system.TransitionSystem(ActionSignature signature)
Creates a new empty transition system with the given ActionSignature.