Uses of Class net.sf.tweety.action.signature.ActionSignature

Packages that use ActionSignature
Package	Description
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.reasoner
net.sf.tweety.action.query.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature.parser
net.sf.tweety.action.transitionsystem

Uses of ActionSignature in net.sf.tweety.action.description.parser

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.

Uses of ActionSignature in net.sf.tweety.action.query.parser

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.

Uses of ActionSignature in net.sf.tweety.action.signature.parser

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

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.