Uses of Class
org.tweetyproject.action.signature.ActionSignature

Packages that use ActionSignature

Package	Description
org.tweetyproject.action.description.parser
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.query.parser
org.tweetyproject.action.query.syntax
org.tweetyproject.action.signature.parser
org.tweetyproject.action.transitionsystem

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

Modifier	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
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.
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

Modifier	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(Reader reader)	Parses the given reader into a signature of the given type.
ActionSignature	ActionSignatureParser.parseSignature(String text)	Parses the given text into a signature of the given type.
ActionSignature	ActionSignatureParser.parseSignatureFromFile(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

Modifier	Constructor	Description
	TransitionSystem(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.