Uses of Class
net.sf.tweety.action.signature.ActionSignature
-
-
-
Uses of ActionSignature in net.sf.tweety.action.description.parser
Fields in net.sf.tweety.action.description.parser declared as ActionSignature Modifier and Type Field Description protected ActionSignature
CLawParser. signature
protected ActionSignature
CParser. signature
Methods in net.sf.tweety.action.description.parser that return ActionSignature Modifier and Type Method Description ActionSignature
CParser. getSignature()
Methods in net.sf.tweety.action.description.parser with parameters of type ActionSignature Modifier and Type Method Description void
CParser. setSignature(ActionSignature signature)
Constructors in net.sf.tweety.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 net.sf.tweety.action.description.reasoner
Methods in net.sf.tweety.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. 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.private java.util.Set<java.util.Map<java.lang.Integer,java.util.Set<FolAtom>>>
CTransitionSystemCalculator. parseLpT(java.lang.String[] lines, ActionSignature signature)
Parses the resulting answer sets of an lp_T(D) program as a set.private java.util.Map<java.lang.Integer,java.util.Set<FolAtom>>
CTransitionSystemCalculator. parseLpTSingleLine(java.lang.String s, ActionSignature signature)
Utility function parsing a single answer set to a map from timestamp to the set of atoms with that particular timestamp. -
Uses of ActionSignature in net.sf.tweety.action.description.syntax
Methods in net.sf.tweety.action.description.syntax that return ActionSignature Modifier and Type Method Description protected ActionSignature
ActionDescription. instantiateSignature()
-
Uses of ActionSignature in net.sf.tweety.action.query.parser
Fields in net.sf.tweety.action.query.parser declared as ActionSignature Modifier and Type Field Description private ActionSignature
ActionQueryParser. signature
Constructors in net.sf.tweety.action.query.parser with parameters of type ActionSignature Constructor Description ActionQueryParser(ActionSignature signature)
-
Uses of ActionSignature in net.sf.tweety.action.query.syntax
Methods in net.sf.tweety.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()
Returns the action signature of this action query.protected ActionSignature
ActionQuerySet. instantiateSignature()
-
Uses of ActionSignature in net.sf.tweety.action.signature.parser
Fields in net.sf.tweety.action.signature.parser declared as ActionSignature Modifier and Type Field Description private ActionSignature
ActionSignatureParser. signature
Resulting signature.Methods in net.sf.tweety.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 net.sf.tweety.action.transitionsystem
Fields in net.sf.tweety.action.transitionsystem declared as ActionSignature Modifier and Type Field Description private ActionSignature
TransitionSystem. signature
Methods in net.sf.tweety.action.transitionsystem that return ActionSignature Modifier and Type Method Description ActionSignature
TransitionSystem. getSignature()
Returns the action signature of this transition system.Constructors in net.sf.tweety.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.
-